Leibniz interpolation properties (Q393904)

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.