Keyphrases
- boolean algebra
- set theory
- algebraic structure
- relation algebra
- modal logic
- predicate logic
- logic programming
- asynchronous circuits
- computational properties
- classical logic
- multi valued
- learning algorithm
- neural network
- proof theory
- dynamic logic
- database
- sound and complete axiomatization
- truth values
- digital circuits
- logical framework
- object oriented
- genetic algorithm
- information retrieval
- data sets