| Residuated lattices: an algebraic glimpse at substructural logics N Galatos Elsevier, 2007 | 1514 | 2007 |
| From axioms to analytic rules in nonclassical logics A Ciabattoni, N Galatos, K Terui 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 229-240, 2008 | 183 | 2008 |
| Generalized MV-algebras N Galatos, C Tsinakis Journal of Algebra 283 (1), 254-291, 2005 | 181 | 2005 |
| Cancellative residuated lattices P Bahls, J Cole, N Galatos, P Jipsen, C Tsinakis Algebra universalis 50 (1), 83-106, 2003 | 148 | 2003 |
| Residuated frames with applications to decidability N Galatos, P Jipsen Transactions of the American Mathematical Society 365 (3), 1219-1249, 2013 | 119 | 2013 |
| Algebraic proof theory for substructural logics: cut-elimination and completions A Ciabattoni, N Galatos, K Terui Annals of Pure and Applied Logic 163 (3), 266-290, 2012 | 112 | 2012 |
| Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL N Galatos, H Ono Studia Logica 83 (1), 279-308, 2006 | 105 | 2006 |
| Adding involution to residuated structures N Galatos, JG Raftery Studia Logica 77 (2), 181-207, 2004 | 78 | 2004 |
| Cut elimination and strong separation for substructural logics: an algebraic approach N Galatos, H Ono Annals of Pure and Applied Logic 161 (9), 1097-1133, 2010 | 75 | 2010 |
| Equivalence of consequence relations: an order-theoretic and categorical perspective N Galatos, C Tsinakis The Journal of Symbolic Logic 74 (3), 780-810, 2009 | 68 | 2009 |
| Minimal varieties of residuated lattices N Galatos Algebra Universalis 52 (2), 215-239, 2005 | 62 | 2005 |
| Varieties of residuated lattices N Galatos Vanderbilt University, 2003 | 57 | 2003 |
| A category equivalence for odd Sugihara monoids and its applications N Galatos, JG Raftery Journal of Pure and Applied Algebra 216 (10), 2177-2192, 2012 | 55 | 2012 |
| Equational bases for joins of residuated-lattice varieties N Galatos Studia Logica 76 (2), 227-240, 2004 | 45 | 2004 |
| Glivenko theorems for substructural logics over FL N Galatos, H Ono The Journal of symbolic logic 71 (4), 1353-1384, 2006 | 44 | 2006 |
| Idempotent residuated structures: some category equivalences and their applications N Galatos, J Raftery Transactions of the American Mathematical Society 367 (5), 3189-3223, 2015 | 42 | 2015 |
| Distributive residuated frames and generalized bunched implication algebras N Galatos, P Jipsen Algebra universalis 78 (3), 303-336, 2017 | 37 | 2017 |
| Categories of models of R-mingle W Fussner, N Galatos Annals of Pure and Applied Logic 170 (10), 1188-1242, 2019 | 35 | 2019 |
| The structure of generalized BI-algebras and weakening relation algebras N Galatos, P Jipsen Algebra universalis 81 (3), 35, 2020 | 31 | 2020 |
| Algebraic proof theory: Hypersequents and hypercompletions A Ciabattoni, N Galatos, K Terui Annals of Pure and Applied Logic 168 (3), 693-737, 2017 | 29 | 2017 |
