Comparing decision problems for various paradigms of algebraic logic.
type: Item
instance of: scholarly article
title: Comparing decision problems for various paradigms of algebraic logic.
zbMATH Open document ID: 1058.03075
published in: Algebra Universalis
publication date: 2005-04-19T00:00:00Z
review text: 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.
reviewed by: Radomír Halaš
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D35
zbMATH DE Number: 2158787
zbMATH Keywords: cylindric algebras
zbMATH Keywords: decision problem
zbMATH Keywords: algebraic logic
author: Agnes Kurucz
MaRDI profile type: Publication
full work available at URL: s00012-002-8196-x
OpenAlex ID: W2073274856
DOI: 10.1007/S00012-002-8196-X
description: scientific article; zbMATH DE number 2158787