You are in the accessibility menu

Please use this identifier to cite or link to this item: http://acervodigital.unesp.br/handle/11449/35825
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFeitosa, H. A.-
dc.contributor.authorD'Ottaviano, IML-
dc.date.accessioned2014-05-20T15:25:24Z-
dc.date.accessioned2016-10-25T17:59:52Z-
dc.date.available2014-05-20T15:25:24Z-
dc.date.available2016-10-25T17:59:52Z-
dc.date.issued2001-03-30-
dc.identifierhttp://dx.doi.org/10.1016/S0168-0072(00)00046-4-
dc.identifier.citationAnnals of Pure and Applied Logic. Amsterdam: Elsevier B.V., v. 108, n. 1-3, p. 205-227, 2001.-
dc.identifier.issn0168-0072-
dc.identifier.urihttp://hdl.handle.net/11449/35825-
dc.identifier.urihttp://acervodigital.unesp.br/handle/11449/35825-
dc.description.abstractIn 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.en
dc.format.extent205-227-
dc.language.isoeng-
dc.publisherElsevier B.V.-
dc.sourceWeb of Science-
dc.titleConservative translationsen
dc.typeoutro-
dc.contributor.institutionUniversidade Estadual de Campinas (UNICAMP)-
dc.contributor.institutionUniversidade Estadual Paulista (UNESP)-
dc.description.affiliationUniv Estadual Campinas, UNICAMP, Dept Philosophy, BR-13081970 Campinas, SP, Brazil-
dc.description.affiliationUNESP, Dept Math, São Paulo, Brazil-
dc.description.affiliationUnespUNESP, Dept Math, São Paulo, Brazil-
dc.identifier.doi10.1016/S0168-0072(00)00046-4-
dc.identifier.wosWOS:000168044400010-
dc.rights.accessRightsAcesso aberto-
dc.identifier.fileWOS000168044400010.pdf-
dc.relation.ispartofAnnals of Pure and Applied Logic-
Appears in Collections:Artigos, TCCs, Teses e Dissertações da Unesp

There are no files associated with this item.
Show simple item record Show full item record   View Statistics
 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.