Keyphrases
- cut elimination
- linear logic
- sequent calculus
- fuzzy set theory
- fuzzy numbers
- proof search
- natural deduction
- smart home
- fixed point
- interval valued
- inference rules
- theorem prover
- classical logic
- image processing
- fuzzy information
- digital topology
- ordered sets
- pattern recognition
- wide class
- desirable properties
- sufficient conditions
- fuzzy sets
- data structure
- social networks
- machine learning
- real world
- data sets