Abstract
We investigate the join semilattice of modal operators on a Boolean algebra B. Furthermore, we consider pairs \(\langle f,g \rangle \) of modal operators whose supremum is the unary discriminator on B, and study the associated bi-modal algebras.
Dedicated to our friends Hajnal and Istvan with respect and gratitude for long lasting inspiration, cooperation, and friendship.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Andréka, H., Jónsson, B., & Németi, I. (1991). Free algebras in discriminator varieties. Algebra Universalis, 28(3), 401–447. ISSN 14208911.
Blok, W. (1980). The lattice of modal logics: An algebraic investigation. The Journal of Symbolic Logic, 45, 221–238.
Blyth, T. S. (2005). Lattices and ordered algebraic structures. Springer.
Burris, S., & Sankappanavar, H. P. (1981). A course in universal algebra. New York: Springer.
Chellas, B. F. (1980). Modal logic: An introduction. Cambridge University Press.
Düntsch, I., Orłowska, E., & Tinchev, T. (2018). Mixed algebras and their logics. Journal of Applied Non-Classical Logics, 27(3–4), 304–320.
Frink, O. (1962). Pseudo-complements in semi-lattices. Duke Mathematical Journal, 29, 505–514.
Gargov, G., Passy, S., & Tinchev, T. (1987). Modal environment for Boolean speculations. In D. Skordev (Ed.), Mathematical logic and applications (pp. 253–263). New York: Plenum Press.
Goranko, V., & Passy, S. (1992). Using the universal modality: Gains and questions. Journal of Logic and Computation, 2(1), 5–30.
Jónsson, B. (1993). A survey of Boolean algebras with operators. In P. Burmeister, I. G. Rosenberg, & G. Sabidussi (Eds.), Algebras and orders (Vol. 389, pp. 239–286). NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences. Dordrecht: Kluwer.
Jónsson, B., & Tarski, A. (1951). Boolean algebras with operators I. American Journal of Mathematics, 73, 891–939.
Koppelberg, S. (1989). General theory of Boolean algebras. In Handbook on Boolean algebras (Vol. 1). North-Holland.
Moschovakis, Y. (2006). Notes on set theory. In Undergraduate texts in mathematics (2nd ed.). Springer.
Rautenberg, W. (1980). Splitting lattices of logics. Archive for Mathematical Logic, 20, 155–159.
Tarski, A., & Givant, S. (1987). A formalization of set theory without variables. In Volume 41 of Colloquium Publications. Providence: Amer. Math. Soc.
Werner, H. (1978). Discriminator—Algebras. Berlin: Akademie-Verlag.
Acknowledgements
Ivo Düntsch gratefully acknowledges support by the National Natural Science Foundation of China, Grant No. 61976053, and contract DN02/15/19.12.2016 of the Bulgarian NFS. Ewa Orłowska gratefully acknowledges partial support from the National Science Centre project DEC-2011/02/A/HS1/00395. We also want to express our gratitude to the anonymous reviewer for careful reading and helpful suggestions, which greatly helped to increase the readability of the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Düntsch, I., Dzik, W., Orłowska, E. (2021). On the Semilattice of Modal Operators and Decompositions of the Discriminator. In: Madarász, J., Székely, G. (eds) Hajnal Andréka and István Németi on Unity of Science. Outstanding Contributions to Logic, vol 19. Springer, Cham. https://doi.org/10.1007/978-3-030-64187-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-64187-0_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-64186-3
Online ISBN: 978-3-030-64187-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)