Login / Signup

Proof of the Law of Infinite Conjunction using the Perfect Disjunctive Normal Form.

James Thomson
Published in: J. Symb. Log. (1967)
Keyphrases
  • disjunctive normal form
  • boolean functions
  • decision rules
  • normal form
  • classification rules
  • conjunctive normal form
  • theorem prover
  • theorem proving
  • learning algorithm
  • database systems
  • search space
  • bounded treewidth