| dc.creator | Rasga, J | |
| dc.creator | Carnielli, W | |
| dc.creator | Sernadas, C | |
| dc.date | 2009 | |
| dc.date | OCT | |
| dc.date | 2014-11-16T03:43:39Z | |
| dc.date | 2015-11-26T16:19:21Z | |
| dc.date | 2014-11-16T03:43:39Z | |
| dc.date | 2015-11-26T16:19:21Z | |
| dc.date.accessioned | 2018-03-28T23:02:23Z | |
| dc.date.available | 2018-03-28T23:02:23Z | |
| dc.identifier | Mathematical Logic Quarterly. Wiley-v C H Verlag Gmbh, v. 55, n. 5, n. 515, n. 534, 2009. | |
| dc.identifier | 0942-5616 | |
| dc.identifier | WOS:000270961200005 | |
| dc.identifier | 10.1002/malq.200810013 | |
| dc.identifier | http://www.repositorio.unicamp.br/jspui/handle/REPOSIP/60493 | |
| dc.identifier | http://www.repositorio.unicamp.br/handle/REPOSIP/60493 | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/60493 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1267688 | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
| dc.description | 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 | |
| dc.description | 55 | |
| dc.description | 5 | |
| dc.description | 515 | |
| dc.description | 534 | |
| dc.description | Fundagdo para a Ciencia e a Tecnologia (FCT) | |
| dc.description | EU FEDER via SQIG (Security and Quantum Information Group) at Instituto de Telecomunicacoes | |
| dc.description | QuantLog [POCTI/MAT/55796/2004] | |
| dc.description | QSec [PTDC/EIA/67661/2006] | |
| dc.description | KLog [PTDC/MAT/68723/2006] | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
| dc.description | QuantLog [POCTI/MAT/55796/2004] | |
| dc.description | QSec [PTDC/EIA/67661/2006] | |
| dc.description | KLog [PTDC/MAT/68723/2006] | |
| dc.description | FAPESP [2004/14107-2] | |
| dc.language | en | |
| dc.publisher | Wiley-v C H Verlag Gmbh | |
| dc.publisher | Weinheim | |
| dc.publisher | Alemanha | |
| dc.relation | Mathematical Logic Quarterly | |
| dc.relation | Math. Log. Q. | |
| dc.rights | fechado | |
| dc.rights | http://olabout.wiley.com/WileyCDA/Section/id-406071.html | |
| dc.source | Web of Science | |
| dc.subject | Craig interpolation | |
| dc.subject | Maehara interpolation | |
| dc.subject | preservation of interpolation | |
| dc.subject | negative translation | |
| dc.subject | Kiriyama-Ono translation | |
| dc.subject | Preservation | |
| dc.subject | Logic | |
| dc.title | Interpolation via translations | |
| dc.type | Artículos de revistas | |
