Keyphrases
- modal logic
- linear logic
- fuzzy set theory
- classical logic
- fuzzy numbers
- fuzzy information
- interval valued
- theorem prover
- clifford algebra
- topological spaces
- temporal reasoning
- relation algebra
- information systems
- real world
- database
- fixed point
- logic programming
- fuzzy sets
- logical framework
- fuzzy logic
- case study
- decision making
- boolean algebra
- artificial intelligence
- real time