Comparing decision problems for various paradigms of algebraic logic. (Q1771926)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Comparing decision problems for various paradigms of algebraic logic. |
scientific article; zbMATH DE number 2158787
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comparing decision problems for various paradigms of algebraic logic. |
scientific article; zbMATH DE number 2158787 |
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
