Interpolation and Definability over the Logic Gl

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.

[1]  William Craig,et al.  Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.

[2]  S. Odintsov.  Logic of classical refutability and class of extensions of minimal logic , 2004 .

[3]  Larisa Maksimova.  Interpolation and Joint Consistency , 2005, We Will Show Them!.

[4]  L. Maksimova.  The Projective Beth Property and Interpolation in Positive and Related Logics , 2006 .

[5]  Kurt Schütte.  Der Interpolationssatz der intuitionistischen Prädikatenlogik , 1962 .

[6]  Artur S. d'Avila Garcez,et al.  We Will Show Them! Essays in Honour of Dov Gabbay, Volume One , 2005, We Will Show Them!.

[7]  L. L. Maksimova,et al.  A method of proving interpolation in paraconsistent extensions of the minimal logic , 2007 .

[8]  A. Robinson.  A Result on Consistency and its Application to theTheory of Definition , 1956 .

[9]  L. Maksimova.  Interpolation and Definability in Extensions of the Minimal Logic , 2005 .

[10]  D. Gabbay,et al.  Interpolation and Definability in Modal Logics (Oxford Logic Guides) , 2005 .

[11]  Larisa Maksimova,et al.  Intuitionistic logic and implicit definability , 2000, Ann. Pure Appl. Log..

[12]  K. Segerberg.  Propositional Logics Related to Heyting's and Johansson's , 2008 .

[13]  Larisa Maksimova.  Restricted Interpolation in Modal Logics , 2002, Advances in Modal Logic.

[14]  L. L. Maksimova,et al.  Decidability of the Projective Beth Property in Varieties of Heyting Algebras , 2001 .

[15]  Frank Wolter,et al.  We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two , 2005, We Will Show Them!.

[16]  L. Maksimova.  Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras , 1977 .

[17]  L. Maksimova.  A weak form of interpolation in equational logic , 2008 .

[18]  M. V. Stukachyova.  The Disjunction Property in the Class of Paraconsistent Extensions of Minimal Logic , 2004 .

[19]  L. L. Maksimova,et al.  Decidability of the weak interpolation property over the minimal logic , 2011 .

[20]  G. Kreisel.  Reviews. Kurt Schütte. Beweistheorie . Springer-Verlag, Berlin-Göttingen-Heidelberg 1960, X + 355 pp. , 1960 .

[21]  R. Wójcicki.  Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .

[22]  W. V. Quine,et al.  Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus. , 1937 .

[23]  R. Wójcicki,et al.  Some remarks on the consequence operation in sentential logics , 1970 .

[24]  Alfred Tarski,et al.  Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[25]  D. Gabbay.  Semantical investigations in Heyting's intuitionistic logic , 1981 .

[26]  Larisa Maksimova,et al.  Problem of restricted interpolation in superintuitionistic and some modal logics , 2010, Log. J. IGPL.

[27]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[28]  L. Maksimova.  Implicit Definability and Positive Logics , 2003 .

[29]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[30]  Ryszard Wójcicki,et al.  Theory of Logical Calculi , 1988 .

[31]  L. Maksimova.  Joint consistency in extensions of the minimal logic , 2010 .

[32]  Satoshi Miura.  A Remark on the Intersection of Tow Logics , 1966, Nagoya Mathematical Journal.

[33]  S. Odintsov.  Constructive Negations and Paraconsistency , 2008 .

[34]  D. Gabbay,et al.  Interpolation and Definability: Modal and Intuitionistic Logic , 2005 .