A useful four-valued logic (1977)

by N D Belnap
Venue:Modern Uses of Multiple-Valued Logic, D. Reidel