Consistency, Completeness, and Classicality

Abstract

We expand the four-valued Belnap-Dunn logic by constants representing inconsistency and completeness and use this expansion to provide a novel way of reconciling classical and intuitionistic logic.

Keywords

• consistency
• completeness
• classicality
• Belnap-Dunn logic
• paraconsistent logic
• ex contradictione quodlibet