Characterizing Propositional Proofs as Noncommutative Formulas.
Fu LiIddo TzameretZhengyu WangPublished in: SIAM J. Comput. (2018)
Keyphrases
- propositional formulas
- horn clauses
- predicate calculus
- theorem proving
- propositional logic
- first order logic
- cnf formula
- theorem prover
- conjunctive normal form
- formal proof
- propositional variables
- proof procedure
- equational theories
- boolean formula
- normal form
- natural deduction
- default logic
- strips planning
- neural network
- belief base
- multi valued
- logic programs
- decision procedures
- probabilistic logic
- sequent calculus
- polynomial hierarchy
- inference rules
- formal proofs
- data sets