Making Belnap's "Useful 4-Valued Logic" Useful

Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen. Making Belnap's "Useful 4-Valued Logic" Useful. In Keith Brawner, Vasile Rus, editors, Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018. pages 116-121, AAAI Press, 2018. [doi]

Abstract

Abstract is missing.