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

by Y Kaluzhny, A Y Muravitsky
Venue:Journal of Applied Non-Classical Logics