Preview
Unable to display preview. Download preview PDF.
References
Andréka, H., Thompson, R. J., A Stone type representation theorem for algebras of relations of higher rank, Transactions of the American Mathematical Society 309 (2) (October 1988), 671–682.
Henkin, L., Monk, J. D., Tarski, A., “Cylindric algebras, Part I,” North-Holland, Amsterdam, 1971.
—, “Cylindric algebras, Part II,” North-Holland, Amsterdam, 1985.
Henkin, L., Monk, J.D., Tarski, A., Andreka, H., Németi, I., “Cylindric Set Algebras,” Lecture Notes in Mathematics 883, Springer-Verlag, Berlin, 1981.
Henkin, L., Resek, D., Relativization of cylindric algebras, Fundamenta Mathematica 82 (1975), 363–383.
Jónsson, B., Tarski, A., Boolean algebras with operators, Part I, American Journal of Mathematics 73 (1951), 891–939.
Maddux, R.D., Some varieties containing relation algebras, Transactions of the American Mathematical Society 272 (1982), 501–526.
Maddux, R.D., Canonical relativized cylindric set algebras, Proceedings of the American Mathematical Society 107 (1989), 465–478.
Németi, I., Some constructions of cylindric algebra theory applied to dynamic algebras of programs, Computational Linguistics and Computer Languages 14 (1980), 43–65.
Németi, I., “Free algebras and decidability in algebraic logic,” Doctoral Dissertation (B) for D.Sc. (or Dr. Rer. Nat.) with Hung. Acad. of Sci. Budapest, 1986..
Németi, I., Decidability of relation algebras with weakened associativity, Proceedings of the American Mathematical Society 2 (1987), 340–344.
Resek, D., “Some results on relativized cylindric algebras,” Doctoral Dissertation, University of California, Berkeley, 1975.
Tarski, A., Givant, S., “A formalization of set theory without variables,” Colloquium Publications in Mathematics 25, American Mathematical Society, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thompson, R.J. (1990). Noncommutative cylindric algebras and relativizations of cylindric algebras. In: Bergman, C.H., Maddux, R.D., Pigozzi, D.L. (eds) Algebraic Logic and Universal Algebra in Computer Science. ALUACS 1988. Lecture Notes in Computer Science, vol 425. Springer, New York, NY. https://doi.org/10.1007/BFb0043089
Download citation
DOI: https://doi.org/10.1007/BFb0043089
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97288-6
Online ISBN: 978-0-387-34804-9
eBook Packages: Springer Book Archive