MacNeille completions of FL-algebras

DOI10.1007/s00012-011-0160-1zbMath1259.03086MaRDI QIDQ652517

Nikolaos Galatos, Kazushige Terui, Agata Ciabattoni

Publication date: 14 December 2011

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-011-0160-1

zbMATH Keywords

MacNeille completion; substructural logic; Heyting algebra; superintuitionistic logic; residuated lattice; algebraic proof theory; substructural hierarchy; FL-algebra

Mathematics Subject Classification ID

08B15: Lattices of varieties

06D20: Heyting algebras (lattice-theoretic aspects)

03G25: Other algebras related to logic

06F05: Ordered semigroups and monoids

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F03: Proof theory in general (including proof-theoretic semantics)

03B55: Intermediate logics

Related Items

Residuated frames with applications to decidability, Densification of FL chains via residuated frames, Algebraic proof theory for substructural logics: cut-elimination and completions, Algebraic proof theory: hypersequents and hypercompletions, The bounded proof property via step algebras and step frames, Uniform proofs of standard completeness for extensions of first-order MTL, A note on standard completeness for some extensions of uninorm logic, Distributive residuated frames and generalized bunched implication algebras, MacNeille transferability and stable classes of Heyting algebras, Canonical formulas for \(k\)-potent commutative, integral, residuated lattices, Associativity, commutativity and symmetry in residuated structures, Intermediate logics admitting a structural hypersequent calculus, Tools for the Investigation of Substructural and Paraconsistent Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
• Residuated lattices. An algebraic glimpse at substructural logics
• Syntax and semantics of superintuitionistic logics
• Completions of GBL-algebras: negative results
• Equational bases for joins of residuated-lattice varieties
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Hüllensysteme und Erweiterung von Quasi‐Ordnungen
• Logic Programming with Focusing Proofs in Linear Logic