Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics

DOI10.1093/LOGCOM/EXN084zbMath1207.03030OpenAlexW2122390915MaRDI QIDQ3583099

Hiroakira Ono, Hitoshi Kihara

Publication date: 26 August 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn084

zbMATH Keywords

substructural logicsamalgamation propertyinterpolation propertyBeth definability property

Mathematics Subject Classification ID

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

Related Items (19)

Franco Montagna's work on provability logic and many-valued logic ⋮ Epimorphisms in varieties of residuated structures ⋮ Leibniz interpolation properties ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Universal algebraic methods for non-classical logics ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ On deductive interpolation for the weak nilpotent minimum logic ⋮ Conservative expansions of substructural logics ⋮ Singly generated quasivarieties and residuated structures ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Fuzzy logics from substructural perspective ⋮ Algebraic proof theory for LE-logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Craig interpolation for semilinear substructural logics ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

This page was built for publication: Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics