Keyphrases
- predicate logic
- modal logic
- multi valued
- classical logic
- artificial intelligence
- information systems
- algebraic structure
- linear logic
- logic programming
- computer algebra
- neural network
- abductive reasoning
- formal theory
- truth values
- formal language
- mathematical theory
- computational properties
- knowledge representation
- decision trees
- e learning