Publication:5311045
From MaRDI portal
zbMath1082.03059MaRDI QIDQ5311045
Publication date: 22 August 2005
survey; modal logic; substructural logic; completeness theorems; completions of algebras; algebraic proof of cut-elimination
03B45: Modal logic (including the logic of norms)
03F05: Cut-elimination and normal-form theorems
03G25: Other algebras related to logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, The bounded proof property via step algebras and step frames, Comparison of MacNeille, canonical, and profinite completions, On three implication-less fragments of t-norm based fuzzy logics, On two fragments with negation and without implication of the logic of residuated lattices