Two basic results on translations between logics
The aim of the present paper is to show two basic results concerning translation between logics: [1] The first result establishes that given two logics S1 and S2 with languages L1 and L2, and a translation F of L1 into L2 that interprets S1 into S2, then, given any intermediate logic S3 between S1 a...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
2016-12-01
|
| Series: | O Que Nos Faz Pensar |
| Online Access: | http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/512 |
| id |
doaj-5b2189e10fb441f7a36e7c4a33e0b980 |
|---|---|
| record_format |
Article |
| spelling |
doaj-5b2189e10fb441f7a36e7c4a33e0b9802020-11-25T02:46:21ZporPontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)O Que Nos Faz Pensar0104-66752016-12-0125395154512Two basic results on translations between logicsEdward Hermann HaeuslerLuiz Carlos PereiraThe aim of the present paper is to show two basic results concerning translation between logics: [1] The first result establishes that given two logics S1 and S2 with languages L1 and L2, and a translation F of L1 into L2 that interprets S1 into S2, then, given any intermediate logic S3 between S1 and S2, the same translation F interprets S1 into S3. [2] The second result establishes that the translation F cannot interpret S3 into S2.http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/512 |
| collection |
DOAJ |
| language |
Portuguese |
| format |
Article |
| sources |
DOAJ |
| author |
Edward Hermann Haeusler Luiz Carlos Pereira |
| spellingShingle |
Edward Hermann Haeusler Luiz Carlos Pereira Two basic results on translations between logics O Que Nos Faz Pensar |
| author_facet |
Edward Hermann Haeusler Luiz Carlos Pereira |
| author_sort |
Edward Hermann Haeusler |
| title |
Two basic results on translations between logics |
| title_short |
Two basic results on translations between logics |
| title_full |
Two basic results on translations between logics |
| title_fullStr |
Two basic results on translations between logics |
| title_full_unstemmed |
Two basic results on translations between logics |
| title_sort |
two basic results on translations between logics |
| publisher |
Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) |
| series |
O Que Nos Faz Pensar |
| issn |
0104-6675 |
| publishDate |
2016-12-01 |
| description |
The aim of the present paper is to show two basic results concerning translation between logics:
[1] The first result establishes that given two logics S1 and S2 with languages L1 and L2, and a translation F of L1 into L2 that interprets S1 into S2, then, given any intermediate logic S3 between S1 and S2, the same translation F interprets S1 into S3.
[2] The second result establishes that the translation F cannot interpret S3 into S2. |
| url |
http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/512 |
| work_keys_str_mv |
AT edwardhermannhaeusler twobasicresultsontranslationsbetweenlogics AT luizcarlospereira twobasicresultsontranslationsbetweenlogics |
| _version_ |
1724758947227762688 |