 | 2012 |
|---|
| 9 |       | Agata Ciabattoni,
Nikolaos Galatos,
Kazushige Terui:
Algebraic proof theory for substructural logics: Cut-elimination and completions.
Ann. Pure Appl. Logic 163(3): 266-290 (2012) |
| 2011 |
|---|
| 8 | | Nikolaos Galatos:
Generalized ordinal sums and translations.
Logic Journal of the IGPL 19(3): 455-466 (2011) |
| 2010 |
|---|
| 7 | | Nikolaos Galatos,
Hiroakira Ono:
Cut elimination and strong separation for substructural logics: An algebraic approach.
Ann. Pure Appl. Logic 161(9): 1097-1133 (2010) |
| 2009 |
|---|
| 6 | | Nikolaos Galatos,
Constantine Tsinakis:
Equivalence of consequence relations: an order-theoretic and categorical perspective.
J. Symb. Log. 74(3): 780-810 (2009) |
| 2008 |
|---|
| 5 | | Agata Ciabattoni,
Nikolaos Galatos,
Kazushige Terui:
From Axioms to Analytic Rules in Nonclassical Logics.
LICS 2008: 229-240 |
| 2006 |
|---|
| 4 | | Nikolaos Galatos,
Hiroakira Ono:
Glivenko theorems for substructural logics over FL.
J. Symb. Log. 71(4): 1353-1384 (2006) |
| 3 | | Nikolaos Galatos,
Hiroakira Ono:
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.
Studia Logica 83(1-3): 279-308 (2006) |
| 2004 |
|---|
| 2 | | Nikolaos Galatos:
Equational Bases for Joins of Residuated-lattice Varieties.
Studia Logica 76(2): 227-240 (2004) |
| 1 | | Nikolaos Galatos,
James G. Raftery:
Adding Involution to Residuated Structures.
Studia Logica 77(2): 181-207 (2004) |
Data released under the ODC-BY 1.0 license — See also our legal information page