A knowledge representation based on the Belnap four-valued logic (1993)

by Muravitsky
Venue:J. Appl. Non-Classical Logics