Keyphrases
- classical logic
- linear logic
- cut elimination
- natural deduction
- logical framework
- logic programming
- closely related
- modal logic
- sequent calculus
- fuzzy set theory
- set theory
- multi valued
- inference rules
- computational properties
- ultimate goal
- fuzzy numbers
- theorem prover
- decision making
- database
- sound and complete axiomatization
- proof theory
- fuzzy information
- sufficient conditions
- pattern recognition
- artificial intelligence
- neural network
- data sets