Paraconsistent logics and translations

DOI10.1023/A:1005298624839zbMath0969.03042OpenAlexW1489330838MaRDI QIDQ1840969

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

Publication date: 21 June 2001

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005298624839

zbMATH Keywords

categorythree-valued logicintuitionistic logicclassical propositional logicparaconsistent logicconservative translation between logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Classical propositional logic (03B05) Many-valued logic (03B50) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items

New dimensions on translations between logics ⋮ Conservative translations revisited ⋮ THE UBIQUITY OF CONSERVATIVE TRANSLATIONS ⋮ Conservative translations ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• Maximal weakly-intuitionistic logics
• Many-Valued Logics and Translations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Paraconsistent logics and translations