Extended Resolution as Certificates for Propositional Logic.

Published in: PxTP@CADE (2013)

Keyphrases

propositional logic
belief revision
first order logic
valued logic
quantified boolean formulae
possibilistic logic
lattice theory
propositional satisfiability
davis putnam
artificial intelligence
propositional formulas
proof procedure
expert systems
fuzzy logic