Keyphrases
- multi valued
- modal operators
- classical logic
- boolean functions
- logic programming
- modal logic
- valued logic
- predicate logic
- morphological operators
- upper bound
- edge detection
- probabilistic logic
- query language
- computational properties
- defeasible logic
- nonmonotonic logics
- relational databases
- epistemic logic
- neural network
- databases