Graded consequence relations of lattice-valued propositional logic LP(X).

Xuefang Wang Dan Meng Yang Xu Keyun Qin

Published in: SMC (2003)

Keyphrases

propositional logic
linear programming
linear program
first order logic
belief revision
quantified boolean formulae
possibilistic logic
optimal solution
lattice theory
proof procedure
propositional formulas
davis putnam
satisfiability testing
objective function
np hard
belief change