MacNeille completions of FL-algebras

DOI10.1007/s00012-011-0160-1zbMath1259.03086OpenAlexW2047689913MaRDI 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 completionsubstructural logicHeyting algebrasuperintuitionistic logicresiduated latticealgebraic proof theorysubstructural hierarchyFL-algebra

Mathematics Subject Classification ID

Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Intermediate logics (03B55)

Related Items

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Densification of FL chains via residuated frames ⋮ Associativity, commutativity and symmetry in residuated structures ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ Distributive residuated frames and generalized bunched implication algebras ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Conservative expansions of substructural logics ⋮ MacNeille transferability and stable classes of Heyting algebras ⋮ Residuated frames with applications to decidability ⋮ 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 ⋮ Hyper-MacNeille completions of Heyting algebras

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

This page was built for publication: MacNeille completions of FL-algebras