Mathematical Logic Quarterly 55 (5):515-534 (2009)
Authors |
|
Abstract |
A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear logic, a Kolmogorov-Gentzen-Gödel style translation, and a new translation between the global consequence systems induced by full Lambek calculus and linear logic, mixing features of a Kiriyama-Ono style translation with features of a Kolmogorov-Gentzen-Gödel style translation. These translations establish a strong relationship between the logics involved and are used to obtain new results about whether Craig interpolation and Maehara interpolation hold in that logics .
|
Keywords | Craig interpolation Maehara interpolation preservation of interpolation negative translation Kiriyama-Ono translation |
Categories | (categorize this paper) |
DOI | 10.1002/malq.200810013 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
Fibring: Completeness Preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.
Modulated Fibring and the Collapsing Problem.Cristina Sernadas, João Rasga & Walter A. Carnielli - 2002 - Journal of Symbolic Logic 67 (4):1541-1569.
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.Gerhard Gentzen - 1974 - Archive for Mathematical Logic 16 (3-4):119-132.
The Contraction Rule and Decision Problems for Logics Without Structural Rules.Eiji Kiriyama & Hlroakira Ono - 1991 - Studia Logica 50 (2):299 - 319.
View all 11 references / Add more references
Citations of this work BETA
Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.
Similar books and articles
Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
Completeness and Interpolation of Almost‐Everywhere Quantification Over Finitely Additive Measures.João Rasga, Wafik Boulos Lotfallah & Cristina Sernadas - 2013 - Mathematical Logic Quarterly 59 (4-5):286-302.
New Dimensions on Translations Between Logics.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano - 2009 - Logica Universalis 3 (1):1-18.
Interpolation Properties of Superintuitionistic Logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
That SCI has the Interpolation Property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.
How to Combine Interpolation with Feedback?Guenther Palm - 1998 - Behavioral and Brain Sciences 21 (4):478-478.
Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.
Interpolation and Approximate Semantic Derivations.Jan Krajíček - 2002 - Mathematical Logic Quarterly 48 (4):602-606.
Interpolation and Definability Over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
Amalgamation and Interpolation in Normal Modal Logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Interpolation and Implicit Definability in Extensions of the Provability Logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
Consequence and Interpolation in Łukasiewicz Logic.Daniele Mundici - 2011 - Studia Logica 99 (1-3):269-278.
Analytics
Added to PP index
2013-12-01
Total views
22 ( #515,582 of 2,518,805 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,805 )
2013-12-01
Total views
22 ( #515,582 of 2,518,805 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,805 )
How can I increase my downloads?
Downloads