An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa.

Norihiro Kamide

Browse the full ICAART paper archive.