Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: Conservative Translations
Author: Feitosa H.A.
D'Ottaviano I.M.L.
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-complete category constituted by logics and translations. © 2001 Elsevier Science B.V.
Rights: fechado
Identifier DOI: 10.1016/S0168-0072(00)00046-4
Date Issue: 2001
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
2-s2.0-0346941303.pdf175.53 kBAdobe PDFView/Open

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