Many-Valued logics and translations
Carregando...
Fontes externas
Fontes externas
Data
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Taylor & Francis
Tipo
Artigo
Direito de acesso
Acesso aberto
Fontes externas
Fontes externas
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
Idioma
Inglês
Citação
Journal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140, 1999.
