Many-Valued Logics and Translations

DOI10.1080/11663081.1999.10510960zbMath1033.03013OpenAlexW2031732804MaRDI QIDQ4443423

Itala M. Loffredo D'Ottaviano, Hércules de Araújo Feitosa

Publication date: 13 January 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1999.10510960

zbMATH Keywords

Post algebraalgebraic semanticstranslation between logicsclassical propositional logicmany-valued logicsŁukasiewicz logicŁukasiewicz algebraPost logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (5)

New dimensions on translations between logics ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ THE UBIQUITY OF CONSERVATIVE TRANSLATIONS ⋮ Conservative translations ⋮ Paraconsistent logics and translations

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Lukasiewicz-Moisil algebras
• An algebraic approach to non-classical logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Many-Valued Logics and Translations