scientific article; zbMATH DE number 2196598
From MaRDI portal
zbMath1082.03059MaRDI QIDQ5311045
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveymodal logicsubstructural logiccompleteness theoremscompletions of algebrasalgebraic proof of cut-elimination
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
On square-increasing ordered monoids and idempotent semirings, Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, 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, The bounded proof property via step algebras and step frames, Comparison of MacNeille, canonical, and profinite completions
