Publication:4699355
From MaRDI portal
zbMath0947.03073MaRDI QIDQ4699355
Publication date: 7 November 2000
03B45: Modal logic (including the logic of norms)
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03F05: Cut-elimination and normal-form theorems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
\(\mathbf R\) and relevance principle revisited, Algebraic proof theory for substructural logics: cut-elimination and completions, Cut elimination and strong separation for substructural logics: an algebraic approach, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Amalgamation and interpolation in ordered algebras., Fuzzy logics from substructural perspective, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, 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, Computing interpolants in implicational logics, Interpolation via translations, Representable idempotent commutative residuated lattices