Existing Result Statuses

Range

• Quantity, quality, meaning
• yes to ND proofs
• Unsatisfiable theorems
• Need correct and precise result specification

Assumptions for Hierarchy

• F of the form Ax => C
• Empty Ax means F is monolithic
  • Ax is TRUE
  • The case for CNF
• Empty C
  • C is TRUE
  • The case for testing for consistency
• F is valid means C is a logical consequence of Ax
• Otherwise there are many possibilities