Login / Signup

Truth Values and Proof Theory.

Greg Restall
Published in: Stud Logica (2009)
Keyphrases
  • truth values
  • proof theory
  • default reasoning
  • inference rules
  • multi valued
  • automated reasoning
  • fixpoint
  • reasoning problems
  • theorem proving
  • machine learning
  • relational databases