TMPR: A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three - Valued Logic.
Taïeb MellouliPublished in: J. Autom. Reason. (1994)
Keyphrases
- proof procedure
- theorem proving
- propositional logic
- proof procedures
- first order logic
- predicate calculus
- inference rules
- nonmonotonic logics
- proof search
- model theoretic
- automated reasoning
- propositional satisfiability
- tree search
- theorem prover
- predicate logic
- formal model
- decision procedures
- artificial intelligence
- sat solvers
- semantic network
- constraint programming
- database systems