Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties.
Alexander KurzWolfgang PoigerPublished in: CALCO (2023)
Keyphrases
- truth values
- modal logic
- boolean logic
- multi valued
- boolean functions
- relation algebra
- support vector
- truth table
- inference rules
- temporal logic
- real valued
- linear program
- primal dual
- spatial reasoning
- logic programming
- objective function
- epistemic logic
- simplex algorithm
- digital circuits
- optimal solution
- classical logic
- conceptual clustering
- automated reasoning
- conjunctive normal form
- least squares
- clifford algebra
- fuzzy sets
- formal logic
- dual formulation
- boolean algebra
- proof theory
- penalty term
- computational properties
- concept lattice
- temporal reasoning