- CRS and Guarded Logics: a fruitful contact
- Book title
- Cylindric-like algebras and algebraic logic
- Pages (from-to)
- Berlin: Springer
- ISBN (electronic)
- Bolyai Society Mathematical Studies: 1217-4696
- Volume (Serie)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
Back and forth between algebra and model theory. Algebra and model theory are complementary stances in the history of logic, and their interaction continues to spawn new ideas, witness the interface of First-Order Logic and Cylindric Algebra. This chapter is about a more specialized contact: the flow of ideas between algebra and modal logic through ‘guarded fragments’ restricting the range of quantification over objects. Here is some general background for this topic. For a start, the connection between algebra and model theory is rather tight, since we can view universal algebra as the equational logic part of standard first-order model theory. As an illustration, van Benthem [Ben,88] has a purely model-theoretic proof of Jónsson’s Theorem characterizing the equational varieties with distributive lattices of congruence relations, a major tool of algebraists. Deeper connections arise in concrete cases with categorial dualities, such as that between BAOs and the usual relational models of modal logic. An important example is the main theorem in Goldblatt and Thomason [Gol-Tho,74] characterizing the elementary modally definable frame classes through their closure under taking generated sub-frames, disjoint unions, p-morphic images, and anti-closure under ultrafilter extensions. Its original proof goes back and forth between algebras and frames, in order to apply Birkhoff’s characterization of equational varieties.
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.