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

Unnamed Item, Semantical Approach to Cut Elimination and Subformula Property in Modal Logic, ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC, Evidence algorithm and inference search in first-order logics, \(\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, From QBFs to \textsf{MALL} and back via focussing, Amalgamation and interpolation in ordered algebras., Fuzzy logics from substructural perspective, Sequent calculi for global modal consequence relations, Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus, 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, Introspection, Normality and Agglomeration