Deciding Intuitionistic Propositional Logic via Translation into Classical Logic.
Daniel S. KornChristoph KreitzPublished in: CADE (1997)
Keyphrases
- classical logic
- propositional logic
- possibilistic logic
- logic programming
- belief revision
- valued logic
- modal logic
- first order logic
- machine translation
- possibility theory
- quantified boolean formulae
- autoepistemic logic
- nonmonotonic reasoning
- default theories
- artificial intelligence
- strong equivalence
- belief change
- horn logic
- prime implicates
- reasoning tasks
- default logic
- software engineering
- knowledge representation