Leibniz interpolation properties
From MaRDI portal
Publication:393904
DOI10.1016/j.apal.2013.11.001zbMath1306.03029WikidataQ123160135 ScholiaQ123160135MaRDI QIDQ393904
Leonardo Manuel Cabrer, José Gil-Férez
Publication date: 24 January 2014
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2013.11.001
algebraic logic; Łukasiewicz logic; interpolation properties; amalgamation properties; equivalential logics
06D35: MV-algebras
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03C40: Interpolation, preservation, definability
03G27: Abstract algebraic logic
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Advanced Łukasiewicz calculus and MV-algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- A survey of abstract algebraic logic
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
- Protoalgebraic logics