An Approach to Uncertainty via Sets of Truth Values.

Published in: Notre Dame J. Formal Log. (1995)

Keyphrases

truth values
inference rules
boolean logic
multi valued
lattice structure
fixpoint
conditional probabilities
databases
valued logic
linearly ordered