Many-Valued logics and translations
Carregando...
Arquivos
Fonte externa
Fonte externa
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
Arquivos
Fonte externa
Fonte externa
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
Citação
Journal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140, 1999.
