Keyphrases
- classical logic
- linear logic
- natural deduction
- logical framework
- cut elimination
- logic programming
- modal logic
- sequent calculus
- interval valued
- theorem prover
- fuzzy set theory
- hybrid approaches
- proof search
- inference rules
- data sets
- multi valued
- set theory
- hybrid learning
- automated reasoning
- database
- fuzzy numbers
- fixed point
- pattern recognition
- bayesian networks
- case study
- neural network
- real time