Artificial intelligence
Logic in computer science
Non-classical logic
Tip
Inference
Fuzzy set
Type-2 fuzzy sets and systems
Logic
Mathematical logic
Fuzzy logic