Consistency, Completeness, and Classicality

DOI10.1007/978-3-030-31136-0_15zbMath1469.03066OpenAlexW2998566453MaRDI QIDQ3305618

Adam Přenosil

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_15

zbMATH Keywords

consistencycompletenessintuitionistic logicnonclassical logicBelnap-Dunn logiccombination of logicsKleene logiclogic of paradox

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Combined logics (03B62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reductio ad contradictionem: an algebraic perspective
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic
• The logic of paradox
• Intuitive semantics for first-degree entailments and `coupled trees'
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’