Skip to main content
SpringerLink
Log in

A Survey of Boolean Algebras with Operators

  • Chapter
Algebras and Orders

Part of the book series: NATO ASI Series ((ASIC,volume 389))

Abstract

The purpose of this survey is to call attention to the unifying role of the concept of a Boolean algebra with operators. The first chapter contains a brief history of this concept and a list of theorems from universal algebra that play an important role in the treatment of the subject. The next two chapters are concerned with the general theory, in particular canonical extensions and dualities, while each of the remaining chapters treats a particular class of BAO’s. The presentation is highly incomplete. In each chapter some basic concepts are introduced and their properties are illustrated by stating a number of key theorems, mostly without proofs. The bibliography contains only a miniscule portion of the relevant literature, but should be sufficient to open up the subject to a reader who wants to pursue a particular topic further.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 429.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 549.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 549.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Bell, J.L., and Slomson, A.B. 1969 Models and Ultraproducts: An Introduction,North-Holland Publishing Co.

    Google Scholar 

  2. Bell, J.L., and Slomson, A.B. 1935 On the structure of abstract algebras, Proc. Cambridge Phil. Soc. 31, 433–454.

    Article  Google Scholar 

  3. Bell, J.L., and Slomson, A.B. 1944 Subdirect unions of universal algebras, Bull. Amer. Math. Soc. 50, 764–768.

    Article  MathSciNet  Google Scholar 

  4. Bell, J.L., and Slomson, A.B. 1948 Lattice Theory, Amer. Math. Soc. Colloq. Publ. vol. 25, 2nd ed. Amer. Math. Soc., Providence, RI.

    Google Scholar 

  5. Blok, W.J. 1978 On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics, Report.

    Google Scholar 

  6. Blok, W.J. 1980 The lattice of varieties of modal algebras: An algebraic investigation, J. Symbolic Logic 45, 221–238.

    Article  MathSciNet  MATH  Google Scholar 

  7. Blok, W.J. 1980a Pretabular varieties of modal algebras, Trends in Logic, Studia Logica 39, 101–124.

    Article  MathSciNet  MATH  Google Scholar 

  8. Blok, W.J., and Dwinger, Ph. 1975 Equational classes of closure algebras, Indag. Math. 37, 189–198.

    MathSciNet  Google Scholar 

  9. Blok, W.J., and Pigozzi, D. 1982 On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15, 195–227.

    Article  MathSciNet  MATH  Google Scholar 

  10. Brink, C. 1981 Boolean modules, J. Algebra 71, 291–313.

    Article  MathSciNet  MATH  Google Scholar 

  11. Chang, C.C., and Keisler, J.H. 1973 Model Theory, North-Holland Publishing Co, Amsterdam.

    MATH  Google Scholar 

  12. Corner, S.D. 1983 A new foundation for the theory of relations, Notre Dame J. Formal Logic 24, 181–187.

    Article  MathSciNet  Google Scholar 

  13. Corner, S.D. 1943 An abstract theory of Jordan-Hölder composition series, Duke Math. J. 10, 743750.

    Google Scholar 

  14. Everett, C.J., and Ulam, S.M. 1946 Projective algebras I, Amer. J. Math. 68, 77–88.

    Article  MathSciNet  MATH  Google Scholar 

  15. Fine, K. 1974 An incomplete logic containing S4, Theoria 40, 23–29.

    Article  MathSciNet  MATH  Google Scholar 

  16. Goldblatt, R. 1989 Varieties of complex algebras, Ann. Pure Appl. Logic 44, 173–242.

    Article  MathSciNet  MATH  Google Scholar 

  17. Goldblatt, R. 1991 On closure under canonical embedding algebras, in: Algebraic Logic (Proc. Conf. Budapest 1988) (H. Andréka et al., eds.), Colloq. Math. Soc. Janos Bolyai 54, North-Holland, Amsterdam, 217–231.

    Google Scholar 

  18. Halmos, P. 1962 Algebraic Logic, Chelsea Publ. Co., New York.

    Google Scholar 

  19. Henkin, L. 1970 Extending Boolean operations, Fund. Math. 22, 723–752.

    Google Scholar 

  20. Hoare, C.A.R., and Jefing, H. 1986 The weakest prespecification, II, Fund. Inform. 9, 217–252.

    MathSciNet  MATH  Google Scholar 

  21. a] Jipsen, P., Jónsson, B.,and Rafter, J. Adjoining units to residuated Boolean algebras, preprint.

    Google Scholar 

  22. a] Jipsen, P., and Lukâcs, E. Minimal relation algebras, Algebra Universalis,to appear.

    Google Scholar 

  23. Jónsson, B. 1967 Algebras whose congruence lattices are distributive, Math. Scand. 21, 110–121.

    MathSciNet  MATH  Google Scholar 

  24. Jónsson, B. 1982 Varieties of relation algebras, Algebra Universalis 15, 273–298.

    Article  MathSciNet  MATH  Google Scholar 

  25. a] Jónsson, B The preservation theorem for canonical extensions of Boolean algebras with operators, to appear.

    Google Scholar 

  26. Jónsson, B., and Tarski, A. 1951 Boolean algebras with operators I, Amer. J. Math. 73, 891–939.

    Article  MathSciNet  MATH  Google Scholar 

  27. Jónsson, B., and Tarski, A 1952 Boolean algebras with operators II, Amer. J. Math. 74, 127–162.

    Article  MathSciNet  MATH  Google Scholar 

  28. a] Jónsson, B., and Tsinakis, C. Relation algebras as residuated Boolean algebras, to appear in Algebra Universalis.

    Google Scholar 

  29. Köhler, P., and Pigozzi, D. 1980 Varieties with equationally definable principal congruences, Algebra Universalis 11, 213–219.

    Article  MathSciNet  MATH  Google Scholar 

  30. Kozen, D. 1990 On Kleene algebras and closed semirings, in: Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 452, Springer-Verlag, BerlinHeidelberg-New York, 26–47.

    Google Scholar 

  31. Kripke, S. 1963 Semantic analysis of modal logic I, Grundlagen der Math. 9, 67–96.

    Article  MathSciNet  MATH  Google Scholar 

  32. Lemmon, E.J. 1977 An Introduction to Modal Logic, Amer. Phil. Quarterly Monograph Ser., Blackwell, Oxford.

    Google Scholar 

  33. Lyndon, R.C. 1950 The representation of relation algebras, Ann. of Math. 51, 707–729.

    Article  MathSciNet  MATH  Google Scholar 

  34. Lyndon, R.C. 1961 Relation algebras and projective geometries, Michigan Math. J. 8, 21–28.

    Article  MathSciNet  MATH  Google Scholar 

  35. McKinsey, J.C.C. 1941 A solution of the decision problem for the Lewis systems S2 and S4 with an application to topology, J. Symbolic Logic 6, 117–134.

    Article  MathSciNet  Google Scholar 

  36. McKinsey, J.C.C. 1944 The algebra of topology, Ann. of Math. 45, 141–191.

    Article  MathSciNet  MATH  Google Scholar 

  37. McKinsey, J.C.C. 1946 On closed elements in closure algebras, Ann. of Math. 47, 122–162.

    Article  MathSciNet  MATH  Google Scholar 

  38. McKinsey, J.C.C. 1948 Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic 13, 1–15.

    Article  MathSciNet  MATH  Google Scholar 

  39. Makinson, D.C. 1971 Some embedding theorems for modal logic, Notre Dame J. Formal Logic 12, 252–254.

    Google Scholar 

  40. Pratt, V. 1988 Dynamic algebras as a well-behaved fragment of relation algebras, in: Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science 425, Springer-Verlag, Berlin-Heidelberg-New York, 77–110.

    Google Scholar 

  41. Prenowitz, W., and Jantosciak, J. 1979 Join Geometries, Springer-Verlag, Berlin-Heidelberg-New York.

    Book  MATH  Google Scholar 

  42. Ribeiro, H. 1952 A remark on Boolean algebras with operators, Amer. J. Math. 74, 162–167.

    Article  MathSciNet  Google Scholar 

  43. Schröder, E. 1895 Algebra der Logik, Band 3, Teubner, Leipzig.

    MATH  Google Scholar 

  44. Tarski, A. 1941 On the calculus of relations, J. Symbolic Logic 18, 73–89.

    Article  MathSciNet  Google Scholar 

  45. Tarski, A. 1959 What is elementary geometry?, in: The Axiomatic Method, North-Holland, Amsterdam.

    Google Scholar 

  46. Thomason, S.K. 1974 An incompleteness theorem for modal logic, Theoria 40, 30-34.

    Google Scholar 

  47. Werner, H. 1978 Discriminator Algebras,Studien der Algebra und ihre Anwendungen 6, Berlin.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Vanderbilt University, Box 1543, Sta. B, Nashville, TN, 37240, USA

    Bjarni Jónsson

Authors
  1. Bjarni Jónsson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Département de mathématiques et de statistique, Université de Montréal, C.P. 6128, Succ. A, H3C 3J7, Montréal, Québec, Canada

    Ivo G. Rosenberg (Scientific Director of the ASI) & Gert Sabidussi (Scientific Director of the ASI) & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Jónsson, B. (1993). A Survey of Boolean Algebras with Operators. In: Rosenberg, I.G., Sabidussi, G. (eds) Algebras and Orders. NATO ASI Series, vol 389. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0697-1_6

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0697-1_6

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-4243-9

  • Online ISBN: 978-94-017-0697-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation