Complexity of intuitionistic propositional logic and its fragments.
Mikhail N. RybakovPublished in: J. Appl. Non Class. Logics (2008)
Keyphrases
- propositional logic
- first order logic
- belief revision
- propositional formulas
- possibilistic logic
- quantified boolean formulae
- lattice theory
- davis putnam
- fuzzy set theory
- proof procedure
- computational complexity
- satisfiability testing
- horn logic
- propositional satisfiability
- theorem prover
- computational intelligence
- inference rules
- valued logic
- orders of magnitude
- search algorithm
- machine learning