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

DOI10.1093/logcom/exn084zbMath1207.03030MaRDI 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 logics; amalgamation property; interpolation property; Beth definability property

Mathematics Subject Classification ID

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

03C40: Interpolation, preservation, definability

Related Items

Singly generated quasivarieties and residuated structures, Idempotent residuated structures: Some category equivalences and their applications, ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC, Universal algebraic methods for non-classical logics, Conservative expansions of substructural logics, Franco Montagna's work on provability logic and many-valued logic, Leibniz interpolation properties, Amalgamation through quantifier elimination for varieties of commutative residuated lattices, Amalgamation, interpolation, and implicit definability in varieties of algebras, On deductive interpolation for the weak nilpotent minimum logic, A category equivalence for odd Sugihara monoids and its applications, Epimorphism surjectivity in varieties of Heyting algebras, 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, Epimorphisms in varieties of residuated structures, Craig interpolation for semilinear substructural logics