Please use this identifier to cite or link to this item:
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
Citation: Manuscrito, v. 28, n. 2, p. 231-262
Rights: aberto
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.