Dynamic Algebras as a well-behaved fragment of Relation Algebras (1990)
Cached
Download Links
- [boole.stanford.edu]
- [boole.stanford.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425 |
| Citations: | 33 - 5 self |
BibTeX
@INPROCEEDINGS{Pratt90dynamicalgebras,
author = {Vaughan Pratt},
title = {Dynamic Algebras as a well-behaved fragment of Relation Algebras},
booktitle = {In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425},
year = {1990},
pages = {77--110},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect to representable relation algebras, when expressed in their DA form are complete with respect to representable dynamic algebras. Moreover, whereas the theory of RA is undecidable, that of DA is decidable in exponential time. These results follow from representability of the free intensional dynamic algebras. Dept. of Computer Science, Stanford, CA 94305. This paper is based on a talk given at the conference Algebra and Computer Science, Ames, Iowa, June 2-4, 1988. It will appear in the proceedings of that conference, to be published by SpringerVerlag in the Lecture Notes in Computer Science series. This work was supported by the National Science Foundation under grant number CCR-8814921 ...
