Counting proofs in propositional logic.

René David Marek Zaionc

Published in: Arch. Math. Log. (2009)

Keyphrases

propositional logic
first order logic
theorem proving
belief revision
theorem prover
quantified boolean formulae
lattice theory
belief change
decision procedures
possibilistic logic
propositional satisfiability
davis putnam
inductive logic programming
satisfiability testing
horn logic