Propositional Consistency Proofs.

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

first order logic
theorem proving
propositional logic
theorem prover
consistency checking
formal proofs
default logic
database
databases
machine learning
inference rules
constraint networks
multi valued
proof procedure
sequent calculus
mathematical proofs