Equational Bases for Joins of Residuated-lattice Varieties. - Nikolaos Galatos (Stud Logica, 2004)

Adding Involution to Residuated Structures. - Nikolaos Galatos; James G. Raftery 001 (Stud Logica, 2004)

Glivenko theorems for substructural logics over FL. - Nikolaos Galatos; Hiroakira Ono (J. Symb. Log., 2006)

Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. - Nikolaos Galatos; Hiroakira Ono (Stud Logica, 2006)

From Axioms to Analytic Rules in Nonclassical Logics. - Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui (LICS, 2008)

Irreducible residuated semilattices and finitely based varieties. - Nikolaos Galatos; Jeffrey S. Olson; James G. Raftery 001 (Reports Math. Log., 2008)

Equivalence of consequence relations: an order-theoretic and categorical perspective. - Nikolaos Galatos; Constantine Tsinakis (J. Symb. Log., 2009)

Cut elimination and strong separation for substructural logics: An algebraic approach. - Nikolaos Galatos; Hiroakira Ono (Ann. Pure Appl. Log., 2010)

Generalized ordinal sums and translations. - Nikolaos Galatos (Log. J. IGPL, 2011)

Algebraic proof theory for substructural logics: Cut-elimination and completions. - Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui (Ann. Pure Appl. Log., 2012)

Preface. - Nikolaos Galatos; Peter Jipsen; Hiroakira Ono (Stud Logica, 2012)

Cayley and Holland Theorems for Residuated Lattices. - Nikolaos Galatos; Rostislav Horcík (TACL, 2013)

The finite embeddability property for noncommutative knotted extensions of RL. - Riquelmii Cardona; Nikolaos Galatos (Int. J. Algebra Comput., 2015)

Proof theory for lattice-ordered groups. - Nikolaos Galatos; George Metcalfe (Ann. Pure Appl. Log., 2016)

Algebraic proof theory: Hypersequents and hypercompletions. - Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui (Ann. Pure Appl. Log., 2017)

Categories of models of R-mingle. - Wesley Fussner; Nick Galatos (Ann. Pure Appl. Log., 2019)

Weakening Relation Algebras and FL2-algebras. - Nikolaos Galatos; Peter Jipsen (RAMiCS, 2020)

Conic Idempotent Residuated Lattices. - Wesley Fussner; Nick Galatos (CoRR, 2022)

Most Simple Extensions of FLe are Undecidable. - Nikolaos Galatos; Gavin St. John (J. Symb. Log., 2022)

Twist Structures and Nelson Conuclei. - Manuela Busaniche; Nikolaos Galatos; Miguel Andrés Marcos (Stud Logica, 2022)

Gluing Residuated Lattices. - Nikolaos Galatos; Sara Ugolini (Order, 2023)

Semiconic idempotent logic I: Structure and local deduction theorems. - Wesley Fussner; Nikolaos Galatos (Ann. Pure Appl. Log., 2024)

Decidability of Lattice Equations. - Nikolaos Galatos (Stud Logica, 2024)

Almost minimal varieties of commutative residuated lattices. - Paolo Aglianò; Nikolaos Galatos; Miguel Andrés Marcos (Int. J. Algebra Comput., 2024)

Semiconic idempotent logic II: Beth definability and deductive interpolation. - Wesley Fussner; Nikolaos Galatos (Ann. Pure Appl. Log., 2025)

Complexities of Well-Quasi-Ordered Substructural Logics. - Nikolaos Galatos; Vitor Greati; Revantha Ramanayake; Gavin St. John (CoRR, 2025)