Many-valued coalgebraic logic over semi-primal varieties.
Alexander KurzWolfgang PoigerBruno TeheuxPublished in: CoRR (2023)
Keyphrases
- modal logic
- truth values
- linear program
- temporal logic
- logic programming
- classical logic
- linear programming
- inference rules
- objective function
- conceptual clustering
- neural network
- deontic logic
- epistemic logic
- nonmonotonic logics
- multi valued
- default logic
- concept lattice
- least squares
- classification rules
- logical framework
- rough sets
- default theories
- computational properties
- defeasible logic
- probabilistic model
- query language
- data sets
- algorithm for linear programming
- affine scaling