We stand with Ukraine  

Nikolaos Galatos

Orcid: 0000-0001-8707-8844

Affiliations:
  • University of Denver, USA


According to our database1, Nikolaos Galatos authored at least 21 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Gluing Residuated Lattices.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Sara Ugolini
Order, October, 2023

2022
Twist Structures and Nelson Conuclei.
[BibTeX]
[DOI]
Manuela Busaniche
,
Nikolaos Galatos
,
Miguel Andrés Marcos
Stud Logica, 2022

Most Simple Extensions of FL<sub>e</sub> are Undecidable.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Gavin St. John
J. Symb. Log., 2022

Conic Idempotent Residuated Lattices.
[BibTeX]
[DOI]
Wesley Fussner
,
Nick Galatos
CoRR, 2022

2020
Weakening Relation Algebras and FL<sup>2</sup>-algebras.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Peter Jipsen
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019
Categories of models of R-mingle.
[BibTeX]
[DOI]
Wesley Fussner
,
Nick Galatos
Ann. Pure Appl. Log., 2019

2017
Algebraic proof theory: Hypersequents and hypercompletions.
[BibTeX]
[DOI]
Agata Ciabattoni
,
Nikolaos Galatos
,
Kazushige Terui
Ann. Pure Appl. Log., 2017

2016
Proof theory for lattice-ordered groups.
[BibTeX]
[DOI]
Nikolaos Galatos
,
George Metcalfe
Ann. Pure Appl. Log., 2016

2015
The finite embeddability property for noncommutative knotted extensions of RL.
[BibTeX]
[DOI]
Riquelmii Cardona
,
Nikolaos Galatos
Int. J. Algebra Comput., 2015

2013
Cayley and Holland Theorems for Residuated Lattices.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Peter Jipsen
,
Hiroakira Ono
Stud Logica, 2012

Algebraic proof theory for substructural logics: Cut-elimination and completions.
[BibTeX]
[DOI]
Agata Ciabattoni
,
Nikolaos Galatos
,
Kazushige Terui
Ann. Pure Appl. Log., 2012

2011
Generalized ordinal sums and translations.
[BibTeX]
[DOI]
Nikolaos Galatos
Log. J. IGPL, 2011

2010
Cut elimination and strong separation for substructural logics: An algebraic approach.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Hiroakira Ono
Ann. Pure Appl. Log., 2010

2009
Equivalence of consequence relations: an order-theoretic and categorical perspective.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Constantine Tsinakis
J. Symb. Log., 2009

2008
Irreducible residuated semilattices and finitely based varieties.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Jeffrey S. Olson
,
James G. Raftery
Reports Math. Log., 2008

From Axioms to Analytic Rules in Nonclassical Logics.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Hiroakira Ono
Stud Logica, 2006

Glivenko theorems for substructural logics over FL.
[BibTeX]
[DOI]
Nikolaos Galatos
,
Hiroakira Ono
J. Symb. Log., 2006

2004
Adding Involution to Residuated Structures.
[BibTeX]
[DOI]
Nikolaos Galatos
,
James G. Raftery
Stud Logica, 2004

Equational Bases for Joins of Residuated-lattice Varieties.
[BibTeX]
[DOI]
Nikolaos Galatos
Stud Logica, 2004


  Loading...