Conservative translations
Autor(a) principal: | |
---|---|
Data de Publicação: | 2001 |
Outros Autores: | |
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 |