Studia Logica 99 (1-3):249-267 (2011)
In a previous paper [ 21 ] all extensions of Johansson’s minimal logic J with the weak interpolation property WIP were described. It was proved that WIP is decidable over J. It turned out that the weak interpolation problem in extensions of J is reducible to the same problem over a logic Gl, which arises from J by adding tertium non datur. In this paper we consider extensions of the logic Gl. We prove that only finitely many logics over Gl have the Craig interpolation property CIP, the restricted interpolation property IPR or the projective Beth property PBP. The full list of Gl-logics with the mentioned properties is found, and their description is given. We note that IPR and PBP are equivalent over Gl. It is proved that CIP, IPR and PBP are decidable over the logic Gl
|Keywords||Minimal logic interpolation definability amalgamation|
|Categories||categorize this paper)|
References found in this work BETA
Theory of Logical Calculi. Basic Theory of Consequence Operations.R. Wojcicki - 1988 - Kluwer Academic Publishers.
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.
Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
Citations of this work BETA
No citations found.
Similar books and articles
Interpolation Properties of Superintuitionistic Logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Interpolation and Definability in Abstract Logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
Complexity of Interpolation and Related Problems in Positive Calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
A Note on the Interpolation Property in Tense Logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Interpolation and Amalgamation; Pushing the Limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Harmonious Logic: Craig's Interpolation Theorem and Its Descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
Added to index2011-09-22
Total downloads7 ( #516,155 of 2,152,226 )
Recent downloads (6 months)1 ( #399,478 of 2,152,226 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.