Publicação: Many-Valued logics and translations
Carregando...
Data
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Tipo
Artigo
Direito de acesso
Resumo
This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.
Descrição
Palavras-chave
Algebraic semantics, Conservative translations, Lukasiewicz logics and algebras, Many-valued logics, Post logics and algebras, Translations
Idioma
Inglês
Como citar
Journal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140, 1999.
