Transforming equality logic to propositional logic.
Hans ZantemaJan Friso GrootePublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- propositional logic
- nonmonotonic logics
- horn logic
- lattice theory
- proof procedure
- possibilistic logic
- belief revision
- first order logic
- valued logic
- propositional variables
- quantified boolean formulae
- minimal models
- classical logic
- davis putnam
- logic programming
- truth maintenance systems
- belief change
- logical framework
- search algorithm
- modal logic
- propositional formulas
- logical theories
- expressive power
- propositional satisfiability
- computational properties
- multi valued
- nonmonotonic reasoning
- theorem proving