19 citations · 20 across the 4 of their papers we have counts for
4 papers
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
Wesley Fussner, Nick Galatos
Semiconic idempotent logic sCI is a common generalization of intuitionistic logic, semilinear idempotent logic sLI, and in particular relevance logic with mingle. We establish the…
Complemented MacNeille completions and algebras of fractions
Nick Galatos, Adam Přenosil
We introduce (-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate fra…
Categories of Models of R-Mingle
Wesley Fussner, Nick Galatos
We give a new Esakia-style duality for the category of Sugihara monoids based on the Davey-Werner natural duality for lattices with involution, and use this duality to greatly simp…
Canonical formulas for k-potent commutative, integral, residuated lattices
Nick Bezhanishvili, Nick Galatos, Luca Spada
Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionisti…