Keyphrases
- boolean algebra
- logical implication
- automated reasoning
- graph theory
- proof theory
- logic programming
- modal logic
- functional dependencies
- logical framework
- set theory
- sound and complete axiomatization
- database
- asynchronous circuits
- truth values
- defeasible logic
- horn clauses
- concept lattice
- relational databases
- database systems
- genetic algorithm
- neural network