A polynomial time complete disjunction property in intuitionistic propositional logic.
Toshiyasu AraiPublished in: CoRR (2013)
Keyphrases
- propositional logic
- propositional variables
- first order logic
- belief revision
- possibilistic logic
- quantified boolean formulae
- special case
- lattice theory
- theorem prover
- horn logic
- davis putnam
- propositional satisfiability
- computational complexity
- proof procedure
- valued logic
- fuzzy set theory
- fuzzy numbers
- satisfiability testing
- machine learning