Abstract
Important positive as well as negative results on interpolation property in fragments of the intuitionistic propositional logic (INT) were obtained by J. I. Zucker in [6]. He proved that the interpolation theorem holds in purely implicational fragment of INT. He also gave an example of a fragment of INT for which interpolation fails. This fragment is determined by the constant falsum (⊥), well known connectives: implication (→) and conjunction (∧), and by a ternary connective δ defined as follows: δ (p, q, r)=df (p∧q)∨(ℸp∧r).
Extending this result of J. I. Zucker, G. R. Renardel de Lavalette proved in [5] that there are continuously many fragments of INT without the interpolation property.
This paper is meant to continue the research mentioned above. To be more precise, its aim is to answer questions concerning interpolation and amalgamation properties in varieties of equivalential algebras, particularly in the variety determined by the purely equivalential fragment of INT.
Similar content being viewed by others
References
J. K. Kabziński,Investigations into the equivalence connective, Uniwersystet Jagielloński, rozprawy habilitacyjne nr 48, Kraków 1980.
J. K. Kabziński andA. Wroński,On equivalential algebras,Proceedings of the 1975 International Symposium of Multiple-Valued Logics, Indiana University, Bloomington,May 13–16, 1975, pp. 419–428.
L. L. Maksimova,Interpolation properties of superintuitionistic, positive and modal logics,Acta Philosophica Fennica, vol. 35, 1982, pp. 70–78.
L. L. Maksimova,Teorema Kreiga v superintuicionistskich logikack i amalgami rujemye mnogoobrazia psewdobulevych algebr,Algebra i Logika 16, No 6 (1977), pp. 643–681.
G. R. Renardel de Lavalette,The interpolation theorem in fragments of logics,Indagationes Mathematicae, No 43 (1981), pp. 71–86.
J. I. Zucker,Interpolation for Fragments of the Propositional Calculus, preprint ZW 116/78, Mathematisch Centrum, Amsterdam 1978.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Porębska, M. Interpolation and amalgamation properties in varieties of equivalential algebras. Stud Logica 45, 35–38 (1986). https://doi.org/10.1007/BF01881547
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01881547