Publicação: Conservative translations
Carregando...
Data
2001-03-30
Autores
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Elsevier B.V.
Tipo
Artigo
Direito de acesso
Acesso aberto
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.
Descrição
Palavras-chave
Idioma
Inglês
Como citar
Annals of Pure and Applied Logic. Amsterdam: Elsevier B.V., v. 108, n. 1-3, p. 205-227, 2001.
