Leibniz interpolation properties (Q393904): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Osamu Sonobe / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G27 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B47 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6250008 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algebraic logic | |||
Property / zbMATH Keywords: algebraic logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
equivalential logics | |||
Property / zbMATH Keywords: equivalential logics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
interpolation properties | |||
Property / zbMATH Keywords: interpolation properties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
amalgamation properties | |||
Property / zbMATH Keywords: amalgamation properties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Łukasiewicz logic | |||
Property / zbMATH Keywords: Łukasiewicz logic / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123160135 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2013.11.001 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2075090785 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Protoalgebraic logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249028 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A survey of abstract algebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5622403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interpolation and Beth's property in propositional many-valued logics: a semantic investigation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free products in the category of Abelian \(\ell\)-groups with strong unit / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Advanced Łukasiewicz calculus and MV-algebras / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:13, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Leibniz interpolation properties |
scientific article |
Statements
Leibniz interpolation properties (English)
0 references
24 January 2014
0 references
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.
0 references
algebraic logic
0 references
equivalential logics
0 references
interpolation properties
0 references
amalgamation properties
0 references
Łukasiewicz logic
0 references
0 references
0 references