Generalized truth values.: A reply to Dubois.

Heinrich Wansing Nuel Belnap

Published in: Log. J. IGPL (2010)

Keyphrases

truth values
inference rules
boolean logic
multi valued
fixpoint
valued logic
semantics of logic programs
knowledge representation
lattice structure