Skip to main content
SpringerLink
Log in

Noncommutative cylindric algebras and relativizations of cylindric algebras

  • Contributed Papers
  • Conference paper
  • First Online:
Algebraic Logic and Universal Algebra in Computer Science (ALUACS 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 425))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Article  MATH  MathSciNet  Google Scholar 

  2. Henkin, L., Monk, J. D., Tarski, A., “Cylindric algebras, Part I,” North-Holland, Amsterdam, 1971.

    MATH  Google Scholar 

  3. —, “Cylindric algebras, Part II,” North-Holland, Amsterdam, 1985.

    MATH  Google Scholar 

  4. Henkin, L., Monk, J.D., Tarski, A., Andreka, H., Németi, I., “Cylindric Set Algebras,” Lecture Notes in Mathematics 883, Springer-Verlag, Berlin, 1981.

    MATH  Google Scholar 

  5. Henkin, L., Resek, D., Relativization of cylindric algebras, Fundamenta Mathematica 82 (1975), 363–383.

    MATH  MathSciNet  Google Scholar 

  6. Jónsson, B., Tarski, A., Boolean algebras with operators, Part I, American Journal of Mathematics 73 (1951), 891–939.

    Article  MATH  MathSciNet  Google Scholar 

  7. Maddux, R.D., Some varieties containing relation algebras, Transactions of the American Mathematical Society 272 (1982), 501–526.

    Article  MATH  MathSciNet  Google Scholar 

  8. Maddux, R.D., Canonical relativized cylindric set algebras, Proceedings of the American Mathematical Society 107 (1989), 465–478.

    Article  MATH  MathSciNet  Google Scholar 

  9. Németi, I., Some constructions of cylindric algebra theory applied to dynamic algebras of programs, Computational Linguistics and Computer Languages 14 (1980), 43–65.

    MATH  MathSciNet  Google Scholar 

  10. 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..

    Google Scholar 

  11. Németi, I., Decidability of relation algebras with weakened associativity, Proceedings of the American Mathematical Society 2 (1987), 340–344.

    Article  Google Scholar 

  12. Resek, D., “Some results on relativized cylindric algebras,” Doctoral Dissertation, University of California, Berkeley, 1975.

    Google Scholar 

  13. Tarski, A., Givant, S., “A formalization of set theory without variables,” Colloquium Publications in Mathematics 25, American Mathematical Society, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. (c/o I. Németi) Mathematical Institute of the Hungarian Academy of Sciences, P.O. Box 127, H-1364, Budapest, Hungary

    Richard J. Thompson

Authors
  1. Richard J. Thompson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Clifford H. Bergman Roger D. Maddux Don L. Pigozzi

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation