Valuation sets in lattice-valued propositional logic LP(X).
Xuefang WangMing QingPublished in: FUZZ-IEEE (2003)
Keyphrases
- propositional satisfiability
- propositional logic
- propositional formulas
- first order logic
- belief revision
- davis putnam
- linear programming
- proof procedure
- quantified boolean formulae
- possibilistic logic
- horn contraction
- belief change
- linear program
- belief base
- optimal solution
- constraint propagation
- logic programming
- expert systems