Leibniz interpolation properties (Q393904): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: Wikidata QID (P12): Q123160135, #quickstatements; #temporary_batch_1706974296281 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123160135 / rank | |||
Normal rank |
Revision as of 18:15, 3 February 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