Publicação: Conservative translations
| dc.contributor.author | Feitosa, H. A. | |
| dc.contributor.author | D'Ottaviano, IML | |
| dc.contributor.institution | Universidade Estadual de Campinas (UNICAMP) | |
| dc.contributor.institution | Universidade Estadual Paulista (Unesp) | |
| dc.date.accessioned | 2014-05-20T15:25:24Z | |
| dc.date.available | 2014-05-20T15:25:24Z | |
| dc.date.issued | 2001-03-30 | |
| dc.description.abstract | 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. | en |
| dc.description.affiliation | Univ Estadual Campinas, UNICAMP, Dept Philosophy, BR-13081970 Campinas, SP, Brazil | |
| dc.description.affiliation | UNESP, Dept Math, São Paulo, Brazil | |
| dc.description.affiliationUnesp | UNESP, Dept Math, São Paulo, Brazil | |
| dc.format.extent | 205-227 | |
| dc.identifier | http://dx.doi.org/10.1016/S0168-0072(00)00046-4 | |
| dc.identifier.citation | Annals of Pure and Applied Logic. Amsterdam: Elsevier B.V., v. 108, n. 1-3, p. 205-227, 2001. | |
| dc.identifier.doi | 10.1016/S0168-0072(00)00046-4 | |
| dc.identifier.file | WOS000168044400010.pdf | |
| dc.identifier.issn | 0168-0072 | |
| dc.identifier.uri | http://hdl.handle.net/11449/35825 | |
| dc.identifier.wos | WOS:000168044400010 | |
| dc.language.iso | eng | |
| dc.publisher | Elsevier B.V. | |
| dc.relation.ispartof | Annals of Pure and Applied Logic | |
| dc.relation.ispartofjcr | 1.000 | |
| dc.relation.ispartofsjr | 1,380 | |
| dc.rights.accessRights | Acesso aberto | |
| dc.source | Web of Science | |
| dc.title | Conservative translations | en |
| dc.type | Artigo | |
| dcterms.license | http://www.elsevier.com/about/open-access/open-access-policies/article-posting-policy | |
| dcterms.rightsHolder | Elsevier B.V. | |
| dspace.entity.type | Publication |
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- WOS000168044400010.pdf
- Tamanho:
- 175.53 KB
- Formato:
- Adobe Portable Document Format
Licença do Pacote
1 - 1 de 1
Carregando...
- Nome:
- license.txt
- Tamanho:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
- Descrição: