Keyphrases
- computer algebra
- finite number
- logic programming
- modal logic
- linear temporal logic
- neural network
- algebraic structure
- mathematical theory
- multi valued
- digital circuits
- predicate logic
- proof theory
- unit length
- equational theories
- logical framework
- classical logic
- real numbers
- finite automata
- formal theory
- automated reasoning
- probability theory
- valued logic
- databases
- algebraic expressions