Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
From MaRDI portal
Publication:2359733
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
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
- 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)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item