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 |