Functional completeness for subsystems of intuitionistic propositional logic.
Heinrich WansingPublished in: J. Philos. Log. (1993)
Keyphrases
- propositional logic
- first order logic
- belief revision
- possibilistic logic
- theorem prover
- quantified boolean formulae
- lattice theory
- fuzzy numbers
- fuzzy set theory
- belief change
- satisfiability testing
- davis putnam
- proof procedure
- propositional formulas
- classical logic
- machine learning
- knowledge representation
- domain knowledge
- expert systems
- artificial intelligence