Canonical formulas for \(k\)-potent commutative, integral, residuated lattices

DOI10.1007/s00012-017-0430-7zbMath1420.03147arXiv1509.07980OpenAlexW2265601039MaRDI QIDQ2359733

Luca Spada, Nick Bezhanishvili, Nikolaos Galatos

Publication date: 22 June 2017

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

Full work available at URL: https://arxiv.org/abs/1509.07980

zbMATH Keywords

substructural logicsaxiomatisationresiduated latticescanonical formulas

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Complexity of some language fragments of fuzzy logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Admissible bases via stable canonical rules
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Extendible formulas in two variables in intuitionistic logic
• Locally finite reducts of Heyting algebras and canonical formulas
• An algebraic approach to canonical formulas: modal case
• MacNeille completions of FL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Frame based formulas for intermediate logics
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Splitting in the variety of residuated lattices
• A note on the substructural hierarchy
• STABLE CANONICAL RULES
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Canonical rules
• Algebraizable logics
• CANONICAL FORMULAS FOR wK4
• Residuated frames with applications to decidability
• Yankov Characteristic Formulas (An Algebraic Account)