UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS

DOI10.1017/S175502031400015XzbMath1337.03033OpenAlexW2084466352MaRDI QIDQ2940884

Hiroakira Ono, Farzaneh Derakhshan, Majid Alizadeh

Publication date: 21 January 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s175502031400015x

zbMATH Keywords

substructural logicsfull Lambek calculusuniform interpolation property

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Uniform interpolation and coherence ⋮ Uniform interpolation and the existence of sequent calculi

Cites Work

• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• Linear logic
• Uniform interpolation and propositional quantifiers in modal logics
• Residuated lattices. An algebraic glimpse at substructural logics
• The many faces of interpolation
• Interpolation in non-classical logics
• Predicate logics without the structure rules
• Sequent-systems and groupoid models. I
• The contraction rule and decision problems for logics without structural rules
• Undefinability of propositional quantifiers in the modal system S4
• The Mathematics of Sentence Structure
• Logics without the contraction rule
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• A sheaf representation and duality for finitely presented Heyting algebras
• An extension of the Craig-Lyndon interpolation theorem
• Unnamed Item
• Unnamed Item

This page was built for publication: UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS