Comparing decision problem for various paradigms of algebraic logic |
| |
| Authors: | Agnes Kurucz |
| |
| Affiliation: | Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK, e-mail: kuag@dcs.kcl.ac.uk, URL: http://www.dcs.kcl.ac.uk/staff/kuag, UK
|
| |
| Abstract: | We show that in many cases the decision problems for varieties of cylindric algebras are much harder than those for the corresponding relation algebra reducts. We also give examples of varieties of cylindric and relation algebras which are algorithmically more complicated than the subvarieties of their representable algebras. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
