Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
From MaRDI portal
Publication:3583099
DOI10.1093/logcom/exn084zbMath1207.03030MaRDI 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
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