Revisiting Belnap's four-valued logic from the computer algebra system Maple
Eugenio Roanes-Lozano (Universidad Complutense de Madrid)
Antonio Hernando (Universidad PolitÃ©cnica de Madrid)
JosÃ© A. Alonso (Universidad de Sevilla)
Belnap's four-valued logic is a peculiar logic introduced in the seventies in
order to deal with incomplete information. Its truth values are: T, F, None
and Both, and some elements in its truth tables are eye-catching. We shall
revisit this logic from Maple in order to achieve a better understanding of it.