An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic.
Guido FiorinoPublished in: J. Autom. Reason. (2001)
Keyphrases
- proof procedure
- sound and complete axiomatization
- propositional logic
- multi valued
- theorem proving
- space time
- first order logic
- decision making
- decision rules
- logic programming
- decision model
- low dimensional
- probabilistic logic
- search space
- decision problems
- parameter space
- automated reasoning
- horn clauses
- logic programs
- truth maintenance systems