Non-Axiomatizable Second Order Intuitionistic Propositional Logic.
Dmitrij P. SkvortsovPublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- propositional logic
- first order logic
- theorem prover
- belief revision
- fuzzy set theory
- quantified boolean formulae
- lattice theory
- davis putnam
- fuzzy numbers
- logical framework
- classical logic
- possibilistic logic
- propositional satisfiability
- belief change
- fuzzy sets
- satisfiability testing
- orders of magnitude
- valued logic
- knowledge representation