Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
DOI10.1093/LOGCOM/EXN084zbMATH Open1207.03030OpenAlexW2122390915MaRDI QIDQ3583099FDOQ3583099
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
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
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Interpolation, preservation, definability (03C40)
Cited In (21)
- Leibniz interpolation properties
- Epimorphisms in varieties of residuated structures
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Epimorphism surjectivity in varieties of Heyting algebras
- Epimorphisms in varieties of subidempotent residuated structures
- Idempotent residuated structures: Some category equivalences and their applications
- Franco Montagna's work on provability logic and many-valued logic
- Craig interpolation in the presence of unreliable connectives
- Interpolation in linear logic and related systems
- Singly generated quasivarieties and residuated structures
- Amalgamation, interpolation, and implicit definability in varieties of algebras
- 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
- Algebraic proof theory for LE-logics
- Amalgamation and interpolation in ordered algebras.
- 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)
