Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/325132
Type: Artigos
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
Abstract Logics
Combination Of Logics
Rights: aberto
Address: https://periodicos.sbu.unicamp.br/ojs/index.php/Manuscrito/article/view/8643732
Date Issue: 2005
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.