TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS

Detalhes bibliográficos
Autor(a) principal: Coniglio, Marcelo E.
Data de Publicação: 2016
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643732
Resumo: 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.
id UNICAMP-17_b9b05f4494768bd0dddce4f409ae0ace
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8643732
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICSTranslations between logics. Abstract logics. Combination of logicsThe 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.Universidade Estadual de Campinas2016-03-04info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643732Manuscrito: Revista Internacional de Filosofia; v. 28 n. 2 (2005): Jul./Dec.; 231-262Manuscrito: International Journal of Philosophy; Vol. 28 No. 2 (2005): Jul./Dec.; 231-262Manuscrito: Revista Internacional de Filosofía; Vol. 28 Núm. 2 (2005): Jul./Dec.; 231-2622317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643732/11248Copyright (c) 2005 Manuscritoinfo:eu-repo/semantics/openAccessConiglio, Marcelo E.2016-03-08T11:27:16Zoai:ojs.periodicos.sbu.unicamp.br:article/8643732Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2016-03-08T11:27:16Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
title TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
spellingShingle TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
Coniglio, Marcelo E.
Translations between logics. Abstract logics. Combination of logics
title_short TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
title_full TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
title_fullStr TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
title_full_unstemmed TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
title_sort TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS
author Coniglio, Marcelo E.
author_facet Coniglio, Marcelo E.
author_role author
dc.contributor.author.fl_str_mv Coniglio, Marcelo E.
dc.subject.por.fl_str_mv Translations between logics. Abstract logics. Combination of logics
topic Translations between logics. Abstract logics. Combination of logics
description 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.
publishDate 2016
dc.date.none.fl_str_mv 2016-03-04
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643732
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643732
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643732/11248
dc.rights.driver.fl_str_mv Copyright (c) 2005 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2005 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 28 n. 2 (2005): Jul./Dec.; 231-262
Manuscrito: International Journal of Philosophy; Vol. 28 No. 2 (2005): Jul./Dec.; 231-262
Manuscrito: Revista Internacional de Filosofía; Vol. 28 Núm. 2 (2005): Jul./Dec.; 231-262
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216566121365505

Registros relacionados