scientific article; zbMATH DE number 1361537
From MaRDI portal
Publication:4699355
zbMath0947.03073MaRDI QIDQ4699355
Publication date: 7 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Evidence algorithm and inference search in first-order logics ⋮ Representable idempotent commutative residuated lattices ⋮ Introspection, Normality and Agglomeration ⋮ Interpolation via translations ⋮ \(\mathbf R\) and relevance principle revisited ⋮ ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ From QBFs to \textsf{MALL} and back via focussing ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Fuzzy logics from substructural perspective ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ Computing interpolants in implicational logics ⋮ Semantical Approach to Cut Elimination and Subformula Property in Modal Logic ⋮ Unnamed Item ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Sequent calculi for global modal consequence relations ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
