Colacito, Almudena
20  results:
Search for persons X
?
2

Theorems of Alternatives for Substructural Logics:

, In: Outstanding Contributions to Logic; Arnon Avron on Semantics and Proof Theory of Non-Classical Logics,
 
?
4

Proof Theory for Positive Logic with Weak Negation:

Bílková, Marta ; Colacito, Almudena
Studia Logica: An International Journal for Symbolic Logic.  108 (2020)  4 - p. 649-686 , 2020
 
?
6

Ordering groups and validity in lattice-ordered groups:

Colacito, Almudena ; Metcalfe, George
Journal of Pure and Applied Algebra.  223 (2019)  12 - p. 5163-5175 , 2019
 
?
7

A Study of Subminimal Logics of Negation and Their Modal Co..:

, In: Lecture Notes in Computer Science; Language, Logic, and Computation,
 
?
8

Subminimal negation:

Colacito, Almudena ; de Jongh, Dick ; Vargas, Ana Lucia
Soft Computing.  21 (2016)  1 - p. 165-174 , 2016
 
1-15