Keyphrases
- modal logic
- digital circuits
- general theory
- asynchronous circuits
- logic programming
- multi valued
- defeasible logic
- sound and complete axiomatization
- deontic logic
- predicate logic
- classical logic
- logical framework
- deductive reasoning
- real time
- morphological operators
- website
- information systems
- genetic algorithm
- databases