Monotone simulations of nonmonotone propositional proofs

Albert Atserias Nicola Galesi Pavel Pudlák

Published in: Electron. Colloquium Comput. Complex. (2000)

Keyphrases

first order logic
theorem proving
propositional logic
theorem prover
variational inequalities
natural deduction
equational theories
boolean functions
multi valued
proof procedure
prime implicates
formal proof