Keyphrases
- lattice theory
- boolean algebra
- modal logic
- propositional logic
- lattice structure
- multi valued
- logical framework
- predicate logic
- machine learning
- asynchronous circuits
- deontic logic
- computational properties
- defeasible logic
- logic synthesis
- valued logic
- classical logic
- truth values
- digital circuits
- databases
- logic programming
- rough sets
- knowledge representation
- multiresolution
- case study
- real world