Many-Valued Logics and Translations
Ítala M. Loffredo D’Ottaviano, Hércules de Araújo Feitosa · Journal of Applied Non-Classical Logics · 1999
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.