n-Rational Algebras II. Varieties and Logic of Inequalities.
Jean H. GallierPublished in: SIAM J. Comput. (1984)
Keyphrases
- relation algebra
- boolean algebra
- sufficient conditions
- logic programming
- modal logic
- decision making
- classical logic
- set theory
- predicate logic
- multi valued
- linear inequalities
- sound and complete axiomatization
- asynchronous circuits
- planar graphs
- logical framework
- automated reasoning
- expressive power
- optimal solution