Nikolaos Galatos

Available identifiers

zbMath Open galatos.nikolaosMaRDI QIDQ287481

List of research outcomes

Publication	Date of Publication	Type
Gluing residuated lattices	2023-12-19	Paper
Decidability of distributive l-pregroups	2023-10-19	Paper
Unilinear residuated lattices: axiomatization, varieties and FEP	2023-04-11	Paper
Complemented MacNeille completions and algebras of fractions	2023-04-04	Paper
Weakening Relation Algebras and FL$$^2$$-algebras	2022-08-30	Paper
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE	2022-08-29	Paper
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation	2022-08-20	Paper
Twist structures and Nelson conuclei	2022-07-22	Paper
From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again	2022-04-06	Paper
Theorems of Alternatives for Substructural Logics	2022-01-04	Paper
Complemented MacNeille completions and algebras of fractions	2021-11-18	Paper
Densification via polynomials, languages, and frames	2021-09-17	Paper
Twist structures and Nelson conuclei	2021-06-18	Paper
Lattice-ordered pregroups are semi-distributive	2021-03-03	Paper
From distributive l-monoids to l-groups, and back again	2021-02-27	Paper
The structure of generalized BI-algebras and weakening relation algebras	2020-07-13	Paper
Most simple extensions of $\mathsf{FL_e}$ are undecidable	2020-05-01	Paper
Categories of models of \(\mathbf{R}\)-mingle	2019-07-10	Paper
Distributive residuated frames and generalized bunched implication algebras	2017-12-21	Paper
The FEP for some varieties of fully distributive knotted residuated lattices	2017-12-21	Paper
Categories of Models of R-Mingle	2017-10-11	Paper
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices	2017-06-22	Paper
Algebraic proof theory: hypersequents and hypercompletions	2016-12-23	Paper
Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions	2016-09-05	Paper
Proof theory for lattice-ordered groups	2016-05-20	Paper
The finite embeddability property for noncommutative knotted extensions of RL	2015-05-29	Paper
Idempotent residuated structures: Some category equivalences and their applications	2015-04-22	Paper
Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices	2014-04-25	Paper
Residuated frames with applications to decidability	2013-04-16	Paper
Preface to the special issue: Recent developments related to residuated lattices and substructural logics	2013-02-18	Paper
Relation algebras as expanded FL-algebras	2013-02-05	Paper
A category equivalence for odd Sugihara monoids and its applications	2013-01-30	Paper
Periodic lattice-ordered pregroups are distributive	2012-11-27	Paper
Generalized ordinal sums and translations	2012-05-21	Paper
Algebraic proof theory for substructural logics: cut-elimination and completions	2012-04-13	Paper
MacNeille completions of FL-algebras	2011-12-14	Paper
Cut elimination and strong separation for substructural logics: an algebraic approach	2011-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q2998395	2011-05-18	Paper
Equivalence of consequence relations: an order-theoretic and categorical perspective	2009-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q3505080	2008-06-18	Paper
Residuated lattices. An algebraic glimpse at substructural logics	2007-05-30	Paper
Glivenko theorems for substructural logics over FL	2007-01-19	Paper
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL	2006-10-27	Paper
Minimal varieties of residuated lattices	2006-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5693622	2005-09-26	Paper
Generalized MV-algebras	2005-04-07	Paper
Adding involution to residuated structures	2005-04-07	Paper
Equational bases for joins of residuated-lattice varieties	2004-08-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nikolaos Galatos