Leibniz interpolation properties

DOI10.1016/j.apal.2013.11.001zbMath1306.03029OpenAlexW2075090785WikidataQ123160135 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

zbMATH Keywords

algebraic logicŁukasiewicz logicinterpolation propertiesamalgamation propertiesequivalential logics

Mathematics Subject Classification ID

MV-algebras (06D35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Interpolation, preservation, definability (03C40) Abstract algebraic logic (03G27)

Related Items (2)

Abstract algebraic logic. An introductory chapter ⋮ The simplest protoalgebraic logic

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

This page was built for publication: Leibniz interpolation properties