Nikolaos Galatos

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 8

Top Topics

Relation Algebra

Default Reasoning

Rough Approximations

Top Venues

Ann. Pure Appl. Log.

Publications

Wesley Fussner, Nikolaos Galatos
Semiconic idempotent logic I: Structure and local deduction theorems. Ann. Pure Appl. Log. 175 (7) (2024)
Nikolaos Galatos
Decidability of Lattice Equations. Stud Logica 112 (3) (2024)
Nikolaos Galatos, Sara Ugolini
Gluing Residuated Lattices. Order 40 (3) (2023)
Nikolaos Galatos, Gavin St. John
are Undecidable. J. Symb. Log. 87 (3) (2022)
Manuela Busaniche, Nikolaos Galatos, Miguel Andrés Marcos
Twist Structures and Nelson Conuclei. Stud Logica 110 (4) (2022)
Nikolaos Galatos, Peter Jipsen
-algebras. RAMiCS (2020)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
Algebraic proof theory: Hypersequents and hypercompletions. Ann. Pure Appl. Log. 168 (3) (2017)
Nikolaos Galatos, George Metcalfe
Proof theory for lattice-ordered groups. Ann. Pure Appl. Log. 167 (8) (2016)
Riquelmii Cardona, Nikolaos Galatos
The finite embeddability property for noncommutative knotted extensions of RL. Int. J. Algebra Comput. 25 (3) (2015)
Nikolaos Galatos, Rostislav Horcík
Cayley and Holland Theorems for Residuated Lattices. TACL (2013)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
Algebraic proof theory for substructural logics: Cut-elimination and completions. Ann. Pure Appl. Log. 163 (3) (2012)
Nikolaos Galatos, Peter Jipsen, Hiroakira Ono
Preface. Stud Logica 100 (6) (2012)
Nikolaos Galatos
Generalized ordinal sums and translations. Log. J. IGPL 19 (3) (2011)
Nikolaos Galatos, Hiroakira Ono
Cut elimination and strong separation for substructural logics: An algebraic approach. Ann. Pure Appl. Log. 161 (9) (2010)
Nikolaos Galatos, Constantine Tsinakis
Equivalence of consequence relations: an order-theoretic and categorical perspective. J. Symb. Log. 74 (3) (2009)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
From Axioms to Analytic Rules in Nonclassical Logics. LICS (2008)
Nikolaos Galatos, Jeffrey S. Olson, James G. Raftery
Irreducible residuated semilattices and finitely based varieties. Reports Math. Log. 43 (2008)
Nikolaos Galatos, Hiroakira Ono
Glivenko theorems for substructural logics over FL. J. Symb. Log. 71 (4) (2006)
Nikolaos Galatos, Hiroakira Ono
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. Stud Logica 83 (1-3) (2006)
Nikolaos Galatos, James G. Raftery
Adding Involution to Residuated Structures. Stud Logica 77 (2) (2004)
Nikolaos Galatos
Equational Bases for Joins of Residuated-lattice Varieties. Stud Logica 76 (2) (2004)