Translations Between Logics: A Survey
Nenhuma Miniatura disponível
Data
2020-01-01
Autores
Loffredo D'Ottaviano, Itala M.
Feitosa, Hercules de Araujo [UNESP]
Mras, G. M.
Weingartner, P.
Ritter, B.
Título da Revista
ISSN da Revista
Título de Volume
Editor
Walter De Gruyter Gmbh
Resumo
In a series of previous papers we have studied interrelations between logics through the analysis of translations between them. In this paper, providing some brief historical background, we present a general survey of the main questions and problems we have analysed and the results we have obtained. As well as showing the interrelations between our concepts of conservative translation, contextual translation, abstract contextual translation, hypercontextual translation and the concept of isomorphism between logics, we discuss the interrelations among the distinct categories that are constituted by logics and the special types of translations between them.
Descrição
Palavras-chave
Como citar
Philosophy Of Logic And Mathematics. Berlin: Walter De Gruyter Gmbh, v. 27, p. 71-90, 2020.