Publication:4699355

zbMath0947.03073MaRDI QIDQ4699355

Hiroakira Ono

Publication date: 7 November 2000

zbMATH Keywords

modal logic; Lambek calculus; proof theory; substructural logic; cut-elimination

Mathematics Subject Classification ID

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