Rudimentary Kripke Models for the Intuitionistic Propositional Calculus.
Kosta DosenPublished in: Ann. Pure Appl. Log. (1993)
Keyphrases
- propositional calculus
- kripke models
- modal logic
- classical logic
- linear logic
- nonmonotonic logics
- fuzzy set theory
- interval valued
- inference rules
- theorem prover
- temporal logic
- fuzzy numbers
- fuzzy sets
- fuzzy information
- action theories
- multi agent
- decision procedures
- natural deduction
- logical framework
- default reasoning
- default logic
- fixed point
- linear programming
- dynamic programming
- query processing
- machine learning