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

Geoff Sutcliffe Francis Jeffry Pelletier Allen Hazen

Published in: FLAIRS Conference (2018)

Keyphrases

valued logic
classical logic
fuzzy logic
database
propositional logic
special case
pattern recognition
general purpose
fuzzy sets
logic programming
first order logic
answer set programming
truth values