Studia Logica 45 (1):35 - 38 (1986)
|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 . 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 (pq)(pr).Extending this result of J. I. Zucker, G. R. Renardel de Lavalette proved in  that there are continuously many fragments of INT without the interpolation property.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Gábor Sági & Saharon Shelah (2006). On Weak and Strong Interpolation in Algebraic Logics. Journal of Symbolic Logic 71 (1):104 - 118.
Larisa Maksimova (1991). Amalgamation and Interpolation in Normal Modal Logics. Studia Logica 50 (3-4):457 - 471.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Eva Hoogland & Maarten Marx (2002). Interpolation and Definability in Guarded Fragments. Studia Logica 70 (3):373 - 409.
Dirk Roorda (1994). Interpolation in Fragments of Classical Linear Logic. Journal of Symbolic Logic 59 (2):419-444.
Judit X. Madarász (1998). Interpolation and Amalgamation; Pushing the Limits. Part I. Studia Logica 61 (3):311-345.
Jacek K. Kabziński (1982). Basic Properties of the Equivalence. Studia Logica 41 (1):17 - 40.
Gerard R. Renardel De Lavalette (1989). Interpolation in Fragments of Intuitionistic Propositional Logic. Journal of Symbolic Logic 54 (4):1419 - 1430.
Alasdair Urquhart (1993). Failure of Interpolation in Relevant Logics. Journal of Philosophical Logic 22 (5):449 - 479.
Larisa Maksimova (2002). Complexity of Interpolation and Related Problems in Positive Calculi. Journal of Symbolic Logic 67 (1):397-408.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #291,386 of 722,826 )
Recent downloads (6 months)0
How can I increase my downloads?