Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System.
Antoine GenitriniJakub KozikPublished in: LFCS (2009)
Keyphrases
- classical first order logic
- classical logic
- propositional logic
- interval valued
- first order logic
- default logic
- logic programming
- horn logic
- modal logic
- qualitative and quantitative
- expressive power
- fuzzy set theory
- linear logic
- dynamic logic
- description logics
- fixed point
- coalition logic
- decision makers
- nonmonotonic logics
- logical framework
- default reasoning
- decision making
- theorem prover
- inference rules