Interpolation via translations

Mathematical Logic Quarterly 55 (5):515-534 (2009)
  Copy   BIBTEX


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 .



    Upload a copy of this work     Papers currently archived: 84,049

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
How to combine interpolation with feedback?Guenther Palm - 1998 - Behavioral and Brain Sciences 21 (4):478-478.
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.


Added to PP

26 (#477,411)

6 months
2 (#333,300)

Historical graph of downloads
How can I increase my downloads?