Nikolaos Galatos

26 papers A* 1C 1Journal 22Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Editorial Introduction.
Stud Logica
Nikolaos Galatos, George Metcalfe, Francesco Paoli, Ciro Russo
2025 J jnl
Complexities of Well-Quasi-Ordered Substructural Logics.
CoRR
Nikolaos Galatos, Vitor Greati, Revantha Ramanayake, Gavin St. John
2025 J jnl
Semiconic idempotent logic II: Beth definability and deductive interpolation.
Ann. Pure Appl. Log.
Wesley Fussner, Nikolaos Galatos
2024 J jnl
Almost minimal varieties of commutative residuated lattices.
Int. J. Algebra Comput.
Paolo Aglianò, Nikolaos Galatos, Miguel Andrés Marcos
2024 J jnl
Decidability of Lattice Equations.
Stud Logica
Nikolaos Galatos
2024 J jnl
Semiconic idempotent logic I: Structure and local deduction theorems.
Ann. Pure Appl. Log.
Wesley Fussner, Nikolaos Galatos
2023 J jnl
Gluing Residuated Lattices.
Order
Nikolaos Galatos, Sara Ugolini
2022 J jnl
Most Simple Extensions of FL
J. Symb. Log.
Nikolaos Galatos, Gavin St. John
2022 J jnl
Twist Structures and Nelson Conuclei.
Stud Logica
Manuela Busaniche, Nikolaos Galatos, Miguel Andrés Marcos
2020 C conf
Weakening Relation Algebras and FL
RAMiCS
Nikolaos Galatos, Peter Jipsen
2017 J jnl
Algebraic proof theory: Hypersequents and hypercompletions.
Ann. Pure Appl. Log.
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
2016 J jnl
Proof theory for lattice-ordered groups.
Ann. Pure Appl. Log.
Nikolaos Galatos, George Metcalfe
2015 J jnl
The finite embeddability property for noncommutative knotted extensions of RL.
Int. J. Algebra Comput.
Riquelmii Cardona, Nikolaos Galatos
2014 — ed.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013
TACL
Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis
2013 — conf
Cayley and Holland Theorems for Residuated Lattices.
TACL
Nikolaos Galatos, Rostislav Horcík
2012 J jnl
Algebraic proof theory for substructural logics: Cut-elimination and completions.
Ann. Pure Appl. Log.
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
2012 J jnl
Preface.
Stud Logica
Nikolaos Galatos, Peter Jipsen, Hiroakira Ono
2011 J jnl
Generalized ordinal sums and translations.
Log. J. IGPL
Nikolaos Galatos
2010 J jnl
Cut elimination and strong separation for substructural logics: An algebraic approach.
Ann. Pure Appl. Log.
Nikolaos Galatos, Hiroakira Ono
2009 J jnl
Equivalence of consequence relations: an order-theoretic and categorical perspective.
J. Symb. Log.
Nikolaos Galatos, Constantine Tsinakis
2008 A* conf
From Axioms to Analytic Rules in Nonclassical Logics.
LICS
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
2008 J jnl
Irreducible residuated semilattices and finitely based varieties.
Reports Math. Log.
Nikolaos Galatos, Jeffrey S. Olson, James G. Raftery
2006 J jnl
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.
Stud Logica
Nikolaos Galatos, Hiroakira Ono
2006 J jnl
Glivenko theorems for substructural logics over FL.
J. Symb. Log.
Nikolaos Galatos, Hiroakira Ono
2004 J jnl
Adding Involution to Residuated Structures.
Stud Logica
Nikolaos Galatos, James G. Raftery
2004 J jnl
Equational Bases for Joins of Residuated-lattice Varieties.
Stud Logica
Nikolaos Galatos