Counting proofs in propositional logic

René David Marek Zaionc

Published in: CoRR (2009)

Keyphrases

propositional logic
first order logic
theorem proving
belief revision
theorem prover
lattice theory
quantified boolean formulae
belief change
possibilistic logic
decision procedures
satisfiability testing
davis putnam
artificial intelligence
knowledge representation
automated reasoning