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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
Bell, J.L., and Slomson, A.B. 1969 Models and Ultraproducts: An Introduction,North-Holland Publishing Co.
Bell, J.L., and Slomson, A.B. 1935 On the structure of abstract algebras, Proc. Cambridge Phil. Soc. 31, 433–454.
Bell, J.L., and Slomson, A.B. 1944 Subdirect unions of universal algebras, Bull. Amer. Math. Soc. 50, 764–768.
Bell, J.L., and Slomson, A.B. 1948 Lattice Theory, Amer. Math. Soc. Colloq. Publ. vol. 25, 2nd ed. Amer. Math. Soc., Providence, RI.
Blok, W.J. 1978 On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics, Report.
Blok, W.J. 1980 The lattice of varieties of modal algebras: An algebraic investigation, J. Symbolic Logic 45, 221–238.
Blok, W.J. 1980a Pretabular varieties of modal algebras, Trends in Logic, Studia Logica 39, 101–124.
Blok, W.J., and Dwinger, Ph. 1975 Equational classes of closure algebras, Indag. Math. 37, 189–198.
Blok, W.J., and Pigozzi, D. 1982 On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15, 195–227.
Brink, C. 1981 Boolean modules, J. Algebra 71, 291–313.
Chang, C.C., and Keisler, J.H. 1973 Model Theory, North-Holland Publishing Co, Amsterdam.
Corner, S.D. 1983 A new foundation for the theory of relations, Notre Dame J. Formal Logic 24, 181–187.
Corner, S.D. 1943 An abstract theory of Jordan-Hölder composition series, Duke Math. J. 10, 743750.
Everett, C.J., and Ulam, S.M. 1946 Projective algebras I, Amer. J. Math. 68, 77–88.
Fine, K. 1974 An incomplete logic containing S4, Theoria 40, 23–29.
Goldblatt, R. 1989 Varieties of complex algebras, Ann. Pure Appl. Logic 44, 173–242.
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.
Halmos, P. 1962 Algebraic Logic, Chelsea Publ. Co., New York.
Henkin, L. 1970 Extending Boolean operations, Fund. Math. 22, 723–752.
Hoare, C.A.R., and Jefing, H. 1986 The weakest prespecification, II, Fund. Inform. 9, 217–252.
a] Jipsen, P., Jónsson, B.,and Rafter, J. Adjoining units to residuated Boolean algebras, preprint.
a] Jipsen, P., and Lukâcs, E. Minimal relation algebras, Algebra Universalis,to appear.
Jónsson, B. 1967 Algebras whose congruence lattices are distributive, Math. Scand. 21, 110–121.
Jónsson, B. 1982 Varieties of relation algebras, Algebra Universalis 15, 273–298.
a] Jónsson, B The preservation theorem for canonical extensions of Boolean algebras with operators, to appear.
Jónsson, B., and Tarski, A. 1951 Boolean algebras with operators I, Amer. J. Math. 73, 891–939.
Jónsson, B., and Tarski, A 1952 Boolean algebras with operators II, Amer. J. Math. 74, 127–162.
a] Jónsson, B., and Tsinakis, C. Relation algebras as residuated Boolean algebras, to appear in Algebra Universalis.
Köhler, P., and Pigozzi, D. 1980 Varieties with equationally definable principal congruences, Algebra Universalis 11, 213–219.
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.
Kripke, S. 1963 Semantic analysis of modal logic I, Grundlagen der Math. 9, 67–96.
Lemmon, E.J. 1977 An Introduction to Modal Logic, Amer. Phil. Quarterly Monograph Ser., Blackwell, Oxford.
Lyndon, R.C. 1950 The representation of relation algebras, Ann. of Math. 51, 707–729.
Lyndon, R.C. 1961 Relation algebras and projective geometries, Michigan Math. J. 8, 21–28.
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.
McKinsey, J.C.C. 1944 The algebra of topology, Ann. of Math. 45, 141–191.
McKinsey, J.C.C. 1946 On closed elements in closure algebras, Ann. of Math. 47, 122–162.
McKinsey, J.C.C. 1948 Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic 13, 1–15.
Makinson, D.C. 1971 Some embedding theorems for modal logic, Notre Dame J. Formal Logic 12, 252–254.
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.
Prenowitz, W., and Jantosciak, J. 1979 Join Geometries, Springer-Verlag, Berlin-Heidelberg-New York.
Ribeiro, H. 1952 A remark on Boolean algebras with operators, Amer. J. Math. 74, 162–167.
Schröder, E. 1895 Algebra der Logik, Band 3, Teubner, Leipzig.
Tarski, A. 1941 On the calculus of relations, J. Symbolic Logic 18, 73–89.
Tarski, A. 1959 What is elementary geometry?, in: The Axiomatic Method, North-Holland, Amsterdam.
Thomason, S.K. 1974 An incompleteness theorem for modal logic, Theoria 40, 30-34.
Werner, H. 1978 Discriminator Algebras,Studien der Algebra und ihre Anwendungen 6, Berlin.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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