Keyphrases
- algebraic structure
- finite state
- computer algebra
- logic programming
- modal logic
- classical logic
- multi valued
- higher order
- predicate logic
- formal theory
- mathematical theory
- sound and complete axiomatization
- asynchronous circuits
- genetic algorithm
- deontic logic
- data mining
- website
- proof theory
- social networks
- algebraic geometry