Login / Signup

The Trilattice of Constructive Truth Values.

Yaroslav ShramkoJ. Michael DunnTatsutoshi Takenaka
Published in: J. Log. Comput. (2001)
Keyphrases
  • truth values
  • inference rules
  • boolean logic
  • multi valued
  • fixpoint
  • lattice structure
  • expert systems
  • machine learning
  • computer vision
  • knowledge base
  • nonmonotonic reasoning
  • valued logic
  • semantics of logic programs