A weak intuitionistic propositional logic with purely constructive implication.
Mitsuhiro OkadaPublished in: Stud Logica (1987)
Keyphrases
- propositional logic
- first order logic
- fuzzy relations
- belief revision
- theorem prover
- possibilistic logic
- quantified boolean formulae
- fuzzy set theory
- belief change
- proof procedure
- fuzzy numbers
- classical logic
- fuzzy sets
- functional dependencies
- propositional satisfiability
- davis putnam
- lattice theory
- knowledge base
- theorem proving
- temporal logic
- propositional formulas
- natural deduction
- relational databases