Keyphrases
- multi valued
- modal logic
- modal operators
- vector space
- classical logic
- sparse matrix
- feature vectors
- evolutionary algorithm
- logic programming
- algebraic operators
- feature extraction
- linear temporal logic
- proof theory
- asynchronous circuits
- deontic logic
- epistemic logic
- nonmonotonic logics
- morphological operators
- first order logic
- feature space