The following pages link to Nikolaos Galatos (Q287481):
Displaying 49 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- Residuated lattices. An algebraic glimpse at substructural logics (Q881452) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
- Periodic lattice-ordered pregroups are distributive (Q1762476) (← links)
- Generalized MV-algebras (Q1770501) (← links)
- Adding involution to residuated structures (Q1770973) (← links)
- Equational bases for joins of residuated-lattice varieties (Q1826928) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Preface to the special issue: Recent developments related to residuated lattices and substructural logics (Q1935567) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Lattice-ordered pregroups are semi-distributive (Q1996094) (← links)
- From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again (Q2122219) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Densification via polynomials, languages, and frames (Q2229970) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices (Q2447247) (← links)
- Minimal varieties of residuated lattices (Q2577691) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- Generalized ordinal sums and translations (Q2885172) (← links)
- (Q2998395) (← links)
- Equivalence of consequence relations: an order-theoretic and categorical perspective (Q3399178) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- (Q3505080) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- The finite embeddability property for noncommutative knotted extensions of RL (Q5252302) (← links)
- (Q5693622) (← links)
- Gluing residuated lattices (Q6139862) (← links)
- Categories of Models of R-Mingle (Q6292441) (← links)
- Most simple extensions of $\mathsf{FL_e}$ are undecidable (Q6339859) (← links)
- From distributive l-monoids to l-groups, and back again (Q6361673) (← links)
- Twist structures and Nelson conuclei (Q6374081) (← links)
- Complemented MacNeille completions and algebras of fractions (Q6383396) (← links)
- Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation (Q6408360) (← links)
- Unilinear residuated lattices: axiomatization, varieties and FEP (Q6432808) (← links)
- Decidability of distributive l-pregroups (Q6455903) (← links)
- Distributive \(\ell\)-pregroups: generation and decidability (Q6489378) (← links)