Nikolaos Galatos

According to our database, Nikolaos Galatos authored at least 24 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Almost minimal varieties of commutative residuated lattices.

Paolo Aglianò, Nikolaos Galatos, Miguel Andrés Marcos

Int. J. Algebra Comput., August, 2024

Decidability of Lattice Equations.

Nikolaos Galatos

Stud Logica, June, 2024

Semiconic idempotent logic I: Structure and local deduction theorems.

Wesley Fussner, Nikolaos Galatos

Ann. Pure Appl. Log., 2024

2023

Gluing Residuated Lattices.

Nikolaos Galatos, Sara Ugolini

Order, October, 2023

2022

Twist Structures and Nelson Conuclei.

Manuela Busaniche, Nikolaos Galatos, Miguel Andrés Marcos

Stud Logica, 2022

Most Simple Extensions of FL_e are Undecidable.

Nikolaos Galatos, Gavin St. John

J. Symb. Log., 2022

Conic Idempotent Residuated Lattices.

Wesley Fussner, Nick Galatos

CoRR, 2022

2020

Weakening Relation Algebras and FL²-algebras.

Nikolaos Galatos, Peter Jipsen

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Categories of models of R-mingle.

Wesley Fussner, Nick Galatos

Ann. Pure Appl. Log., 2019

2017

Algebraic proof theory: Hypersequents and hypercompletions.

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui

Ann. Pure Appl. Log., 2017

2016

Proof theory for lattice-ordered groups.

Nikolaos Galatos, George Metcalfe

Ann. Pure Appl. Log., 2016

2015

The finite embeddability property for noncommutative knotted extensions of RL.

Riquelmii Cardona, Nikolaos Galatos

Int. J. Algebra Comput., 2015

2013

Cayley and Holland Theorems for Residuated Lattices.

Nikolaos Galatos, Rostislav Horcík

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Preface.

Nikolaos Galatos, Peter Jipsen, Hiroakira Ono

Stud Logica, 2012

Algebraic proof theory for substructural logics: Cut-elimination and completions.

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui

Ann. Pure Appl. Log., 2012

2011

Generalized ordinal sums and translations.

Nikolaos Galatos

Log. J. IGPL, 2011

2010

Cut elimination and strong separation for substructural logics: An algebraic approach.

Nikolaos Galatos, Hiroakira Ono

Ann. Pure Appl. Log., 2010

2009

Equivalence of consequence relations: an order-theoretic and categorical perspective.

Nikolaos Galatos, Constantine Tsinakis

J. Symb. Log., 2009

2008

Irreducible residuated semilattices and finitely based varieties.

Nikolaos Galatos, Jeffrey S. Olson, James G. Raftery

Reports Math. Log., 2008

From Axioms to Analytic Rules in Nonclassical Logics.

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2006

Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.

Nikolaos Galatos, Hiroakira Ono

Stud Logica, 2006

Glivenko theorems for substructural logics over FL.

Nikolaos Galatos, Hiroakira Ono

J. Symb. Log., 2006

2004

Adding Involution to Residuated Structures.

Nikolaos Galatos, James G. Raftery

Stud Logica, 2004

Equational Bases for Joins of Residuated-lattice Varieties.

Nikolaos Galatos

Stud Logica, 2004