Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
From MaRDI portal
Publication:3583099
DOI10.1093/logcom/exn084zbMath1207.03030OpenAlexW2122390915MaRDI QIDQ3583099
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
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Interpolation, preservation, definability (03C40)
Related Items (18)
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 ⋮ 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
