Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic.
Heinrich WansingPublished in: Nonclassical Logics and Information Processing (1990)
Keyphrases
- propositional logic
- propositional formulas
- belief revision
- first order logic
- lattice theory
- quantified boolean formulae
- propositional variables
- possibilistic logic
- propositional satisfiability
- theorem prover
- belief change
- nonmonotonic reasoning
- linear logic
- davis putnam
- expert systems
- machine learning
- proof procedure
- fuzzy numbers