Comparing decision problems for various paradigms of algebraic logic. (Q1771926)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comparing decision problems for various paradigms of algebraic logic. |
scientific article |
Statements
Comparing decision problems for various paradigms of algebraic logic. (English)
0 references
19 April 2005
0 references
It is shown that in many cases the decision problems for varieties of cylindric algebras are much harder than those for the corresponding relation algebra reducts. The authors give examples of varieties of cylindric and relation algebras which are algorithmically more complicated then the subvarieties of their representable algebras.
0 references
cylindric algebras
0 references
decision problem
0 references
algebraic logic
0 references
