The Completeness of Propositional Resolution: A Simple and Constructive Proof

Jean H. Gallier

Published in: CoRR (2006)

Keyphrases

real time
propositional logic

theorem prover
artificial intelligence

database systems
high resolution

first order logic