Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus.
Ágnes KuruczIstván NémetiIldikó SainAndrás SimonPublished in: Log. J. IGPL (1993)
Keyphrases
- relation algebra
- expressive power
- interval algebra
- linearly ordered
- extended boolean
- multi valued
- boolean functions
- sufficient conditions
- partially ordered
- totally ordered
- modal logic
- morphological operators
- temporal reasoning
- computational properties
- spatial reasoning
- epistemic logic
- real valued
- partial order
- np complete