TY - JOUR
AU - Coniglio, Marcelo E.
PY - 2016/03/04
Y2 - 2024/09/15
TI - TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
JF - Manuscrito: Revista Internacional de Filosofia
JA - Manuscrito - Rev. Int. Fil.
VL - 28
IS - 2
SE - Artigos
DO -
UR - https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643732
SP - 231-262
AB - 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.
ER -