Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- logic programming
- logical framework
- modal logic
- proof search
- sequent calculus
- databases
- interval valued
- theorem prover
- multi valued
- automated reasoning
- neural network
- deontic logic
- fuzzy set theory
- inference rules
- multi agent
- machine learning
- representation scheme
- fuzzy relations
- desirable properties
- predicate logic
- fixed point
- pattern recognition
- website
- artificial intelligence