Keyphrases
- algebraic structure
- computer algebra
- multi valued
- classical logic
- fuzzy logic
- logic programming
- modal logic
- automated reasoning
- data analysis
- genetic algorithm
- predicate logic
- logical framework
- website
- truth values
- digital circuits
- mathematical theory
- nonmonotonic logics
- neural network
- decision rules
- knowledge representation