An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic.
Jörg HudelmaierPublished in: J. Log. Comput. (1993)
Keyphrases
- propositional logic
- davis putnam
- proof procedure
- first order logic
- belief revision
- possibilistic logic
- quantified boolean formulae
- decision making
- minimal models
- lattice theory
- propositional satisfiability
- belief change
- satisfiability testing
- theorem prover
- satisfiability problem
- expert systems
- fuzzy set theory
- description logics
- lower bound
- search algorithm