Please use this identifier to cite or link to this item:
|Title:||Towards A Stronger Notion Of Translation Between Logics|
|Author:||Marcelo E. Coniglio|
|Abstract:||The concept of translation between logics was originally introduced in order to prove the consistency of a logic system in terms of the consistency of another logic system. The idea behind this is to interpret (or to encode) a logic into another one. In this survey we address the following question: Which logical properties a (strong) logic translation should preserve? Several approaches to the concept of translation between logics are discussed and analyzed.|
|Subject:||Translations Between Logics|
Combination Of Logics
|Appears in Collections:||Unicamp - Artigos e Outros Documentos|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.