A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.
Mojtaba AghaeiMohammad ArdeshirPublished in: Math. Log. Q. (2000)
Keyphrases
- propositional logic
- first order logic
- possibilistic logic
- belief revision
- lattice theory
- davis putnam
- quantified boolean formulae
- satisfiability testing
- propositional satisfiability
- proof procedure
- theorem prover
- belief change
- propositional formulas
- horn clauses
- machine learning
- machine translation
- orders of magnitude