1 paper · 1 filter
Dominik Klein, Ondrej Majer, Soroush Rafiee Rad
Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two…