Abstrakt
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.
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.