Equational Propositional Logic.

David Gries Fred B. Schneider

Published in: Inf. Process. Lett. (1995)

Keyphrases

propositional logic
lattice theory
first order logic
theorem proving
belief revision
theorem prover
horn clauses
possibilistic logic
quantified boolean formulae
davis putnam
belief change
propositional satisfiability
proof procedure
automated reasoning
solving hard
inference rules
satisfiability testing