Many-valued coalgebraic logic over semi-primal varieties.
Alexander KurzWolfgang PoigerBruno TeheuxPublished in: Log. Methods Comput. Sci. (2024)
Keyphrases
- modal logic
- truth values
- linear program
- objective function
- multi valued
- support vector
- classical logic
- inference rules
- logical framework
- temporal logic
- machine learning
- linear programming
- np hard
- predicate logic
- optimal solution
- simplex algorithm
- automated reasoning
- fuzzy sets
- intuitionistic fuzzy sets
- sound and complete axiomatization