-lock resolution in a finite lattice-valued propositional logic.

Xingxing He Jun Liu Yang Xu Luis Martínez-López Da Ruan

Published in: Log. J. IGPL (2012)

Keyphrases

propositional logic
valued logic
first order logic
belief revision
quantified boolean formulae
possibilistic logic
belief change
lattice theory
davis putnam
satisfiability testing
orders of magnitude
proof procedure
concurrency control
machine learning
propositional satisfiability
fuzzy sets
np hard