Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: Interpolation via translations
Author: Rasga, J
Carnielli, W
Sernadas, C
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-Godel 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-Godel 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. (c) 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
Subject: Craig interpolation
Maehara interpolation
preservation of interpolation
negative translation
Kiriyama-Ono translation
Country: Alemanha
Editor: Wiley-v C H Verlag Gmbh
Rights: fechado
Identifier DOI: 10.1002/malq.200810013
Date Issue: 2009
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
WOS000270961200005.pdf190.35 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.