Conservative translations

Detalhes bibliográficos
Autor(a) principal: Feitosa, H. A.
Data de Publicação: 2001
Outros Autores: D'Ottaviano, IML
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1016/S0168-0072(00)00046-4
http://hdl.handle.net/11449/35825
Resumo: In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complex category constituted by logics and translations. (C) 2001 Elsevier B.V. B.V. All rights reserved.
id UNSP_ccbd8a26aed4b5a5720df7ed3bdbccf8
oai_identifier_str oai:repositorio.unesp.br:11449/35825
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Conservative translationsIn this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complex category constituted by logics and translations. (C) 2001 Elsevier B.V. B.V. All rights reserved.Univ Estadual Campinas, UNICAMP, Dept Philosophy, BR-13081970 Campinas, SP, BrazilUNESP, Dept Math, São Paulo, BrazilUNESP, Dept Math, São Paulo, BrazilElsevier B.V.Universidade Estadual de Campinas (UNICAMP)Universidade Estadual Paulista (Unesp)Feitosa, H. A.D'Ottaviano, IML2014-05-20T15:25:24Z2014-05-20T15:25:24Z2001-03-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article205-227application/pdfhttp://dx.doi.org/10.1016/S0168-0072(00)00046-4Annals of Pure and Applied Logic. Amsterdam: Elsevier B.V., v. 108, n. 1-3, p. 205-227, 2001.0168-0072http://hdl.handle.net/11449/3582510.1016/S0168-0072(00)00046-4WOS:000168044400010WOS000168044400010.pdfWeb of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengAnnals of Pure and Applied Logic1.0001,380info:eu-repo/semantics/openAccess2024-01-12T06:24:45Zoai:repositorio.unesp.br:11449/35825Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T22:45:21.691099Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Conservative translations
title Conservative translations
spellingShingle Conservative translations
Feitosa, H. A.
title_short Conservative translations
title_full Conservative translations
title_fullStr Conservative translations
title_full_unstemmed Conservative translations
title_sort Conservative translations
author Feitosa, H. A.
author_facet Feitosa, H. A.
D'Ottaviano, IML
author_role author
author2 D'Ottaviano, IML
author2_role author
dc.contributor.none.fl_str_mv Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Feitosa, H. A.
D'Ottaviano, IML
description In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complex category constituted by logics and translations. (C) 2001 Elsevier B.V. B.V. All rights reserved.
publishDate 2001
dc.date.none.fl_str_mv 2001-03-30
2014-05-20T15:25:24Z
2014-05-20T15:25:24Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1016/S0168-0072(00)00046-4
Annals of Pure and Applied Logic. Amsterdam: Elsevier B.V., v. 108, n. 1-3, p. 205-227, 2001.
0168-0072
http://hdl.handle.net/11449/35825
10.1016/S0168-0072(00)00046-4
WOS:000168044400010
WOS000168044400010.pdf
url http://dx.doi.org/10.1016/S0168-0072(00)00046-4
http://hdl.handle.net/11449/35825
identifier_str_mv Annals of Pure and Applied Logic. Amsterdam: Elsevier B.V., v. 108, n. 1-3, p. 205-227, 2001.
0168-0072
10.1016/S0168-0072(00)00046-4
WOS:000168044400010
WOS000168044400010.pdf
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Annals of Pure and Applied Logic
1.000
1,380
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 205-227
application/pdf
dc.publisher.none.fl_str_mv Elsevier B.V.
publisher.none.fl_str_mv Elsevier B.V.
dc.source.none.fl_str_mv Web of Science
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1808129458878545920