Interpolation properties, Beth definability properties and amalgamation properties for substructural logics

DOI10.1093/LOGCOM/EXN084MaRDI QIDQ3583099zbMATH OpenOpenAlexFDO

Authors Hitoshi Kihara, Hiroakira Ono

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)

Recommendations

• Leibniz interpolation properties
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation and implicit definability in extensions of the provability logic
• The Beth property and interpolation in lattice-based algebras and logics

Cited in

(21)

• Leibniz interpolation properties
• Amalgamation through quantifier elimination for varieties of commutative residuated lattices
• Epimorphisms in varieties of residuated structures
• Epimorphism surjectivity in varieties of Heyting algebras
• Epimorphisms in varieties of subidempotent residuated structures
• Franco Montagna's work on provability logic and many-valued logic
• Idempotent residuated structures: Some category equivalences and their applications
• Craig interpolation in the presence of unreliable connectives
• Amalgamation, interpolation, and implicit definability in varieties of algebras
• Interpolation in linear logic and related systems
• Singly generated quasivarieties and residuated structures
• On deductive interpolation for the weak nilpotent minimum logic
• Fuzzy logics from substructural perspective
• Conservative expansions of substructural logics
• A category equivalence for odd Sugihara monoids and its applications
• The Beth property and interpolation in lattice-based algebras and logics
• Amalgamation and interpolation in ordered algebras.
• Algebraic proof theory for LE-logics
• Analytic cut and interpolation for bi-intuitionistic logic
• Universal algebraic methods for non-classical logics
• Craig interpolation for semilinear substructural logics

This page was built for publication: Interpolation properties, Beth definability properties and amalgamation properties for substructural logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3583099)