How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus.

Pavel Pudlák Samuel R. Buss

Published in: CSL (1994)

Keyphrases

propositional calculus
theorem proving
information systems
data mining
theorem prover
neural network
machine learning
web services
fixed point
fixed length
minimum length
formal proof
equational theories