Keyphrases
- classical logic
- modal logic
- linear logic
- expressive power
- intuitionistic logic
- inference rules
- fuzzy set theory
- logic programming
- valued logic
- theorem prover
- proof theoretic
- epistemic logic
- fuzzy numbers
- propositional calculus
- cut elimination
- computational properties
- default logic
- logical framework
- desirable properties
- natural deduction
- real world
- database
- interval valued
- fuzzy sets
- expert systems
- social networks
- artificial intelligence
- learning algorithm
- databases