Nice embedding in classical logic

DOI10.1007/s11225-015-9622-3zbMath1392.03020OpenAlexW862038960MaRDI QIDQ300555

Peter Verdée, Diderik Batens

Publication date: 28 June 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-015-9622-3

zbMATH Keywords

embeddingtranslationsclassical logicbi-valued semanticsgluts and gaps

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items

Devising the set of abnormalities for a given defeasible rule ⋮ Two, Many, and Differently Many

Cites Work

• What is a completely integrable nonholonomic dynamical system?
• New dimensions on translations between logics
• On the theory of inconsistent formal systems
• Spoiled for choice?
• THE UBIQUITY OF CONSERVATIVE TRANSLATIONS
• Axiom schemes for m-valued propositions calculi
• Goal-directed proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item