2008 | ||
---|---|---|
4 | EE | Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui: From Axioms to Analytic Rules in Nonclassical Logics. LICS 2008: 229-240 |
2006 | ||
3 | EE | 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 | EE | Nikolaos Galatos: Equational Bases for Joins of Residuated-lattice Varieties. Studia Logica 76(2): 227-240 (2004) |
1 | EE | Nikolaos Galatos, James G. Raftery: Adding Involution to Residuated Structures. Studia Logica 77(2): 181-207 (2004) |
1 | Agata Ciabattoni | [4] |
2 | Hiroakira Ono | [3] |
3 | James G. Raftery | [1] |
4 | Kazushige Terui | [4] |