Amalgamation and interpolation properties have been studied in the framework of abstract algebraic logic by \textit{J. Czelakowski} and \textit{D. Pigozzi} [Lect. Notes Pure Appl. Math. 203, 187--265 (1999; Zbl 0927.03086)]. On the other hand, \textit{H. Kihara} and \textit{H. Ono} [J. Log. Comput. 20, No. 4, 823--875 (2010; Zbl 1207.03030)] introduced several new interpolation properties for substructural logics over full Lambek calculus and examined their algebraic meanings in the framework of residuated lattices, where they also remarked that some of their observations would be available in such a general setting as abstract algebraic logic. In this paper, the authors, motivated by the remark, investigate a family of Leibniz interpolation properties, which are roughly saying interpolation properties between equivalent formulas, for equivalential logics defined by means of abstract algebraic logic. The main observations are their algebraic characterizations in terms of category, where the basic one is proved to be enjoyed by any equivalential logic. The relationship among them as well as with other interpolation properties known in the literature is also examined. For example, it is shown that they are indeed generalizations of those introduced for substructural logics. Moreover, some implications in the relationship are verified to be proper by applying general results to certain concrete cases, among them the Łukasiewicz infinite-valued calculus is discussed in detail.
- Logical matrices and the amalgamation property
- scientific article; zbMATH DE number 1302498
- Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
- Algebraic characterization of the local Craig interpolation property
- Interpolation and amalgamation properties in varieties of equivalential algebras
- Amalgamation and interpolation in normal modal logics
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- scientific article; zbMATH DE number 2196596
- The Beth property and interpolation in lattice-based algebras and logics
- Some Results on Amalgamation in Algebraic Logic
- A survey of abstract algebraic logic
- Advanced Łukasiewicz calculus and MV-algebras
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 1302498 (Why is no real title available?)
- scientific article; zbMATH DE number 3346619 (Why is no real title available?)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Protoalgebraic logics
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Interpolation in fuzzy logic
- Interpolation properties for Sacchetti's logics
- Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
- scientific article; zbMATH DE number 7272376 (Why is no real title available?)
- The simplest protoalgebraic logic
- Abstract algebraic logic. An introductory chapter
- Logical matrices and the amalgamation property
- Newton interpolation at Leja points
This page was built for publication: Leibniz interpolation properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q393904)
