Finite RDP-algebras: duality, coproducts and logic.
Simone BovaDiego ValotaPublished in: J. Log. Comput. (2012)
Keyphrases
- relation algebra
- boolean algebra
- linear temporal logic
- logic programming
- automated reasoning
- classical logic
- distributive lattices
- modal logic
- predicate logic
- data sets
- deontic logic
- logical framework
- linear programming
- computational properties
- digital circuits
- temporal reasoning
- learning algorithm
- data mining
- database
- sound and complete axiomatization