Artículos de revistas
Towards A Stronger Notion Of Translation Between Logics
Registro en:
Manuscrito, v. 28, n. 2, p. 231-262
2317-630X
8643732
Autor
Marcelo E. Coniglio
Institución
Resumen
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. 28 2 231-262