Login / Signup

Truth Values, Neither-true-nor-false, and Supervaluations.

Nuel Belnap
Published in: Stud Logica (2009)
Keyphrases
  • truth values
  • inference rules
  • boolean logic
  • multi valued
  • fixpoint
  • lattice structure
  • valued logic
  • linearly ordered
  • database
  • artificial intelligence
  • training data
  • programming language
  • semantics of logic programs