Keyphrases
- propositional logic
- belief revision
- first order logic
- theorem prover
- linear programming
- quantified boolean formulae
- fuzzy set theory
- fuzzy numbers
- lattice theory
- logical framework
- proof procedure
- possibilistic logic
- belief change
- propositional satisfiability
- davis putnam
- satisfiability testing
- classical logic
- inference rules
- natural deduction
- database design
- propositional formulas
- valued logic
- temporal logic