Abstract
Cover systems abstract from the properties of open covers in topology, and have been used to construct lattices of propositions for various modal and non-modal substructural logics. Here we explore cover systems on the set of principal filters of a lattice and their role in lattice representations. A particular system with finite covers gives a lattice of propositions isomorphic to the ideal completion of the original lattice. Relaxing the finiteness condition yields another cover system whose lattice of propositions gives a presentation of the MacNeille completion. This is analysed further for ortholattices. For Heyting algebras a stricter cover relation is shown to have the properties of a Grothendieck topology while its lattice of propositions is still the MacNeille completion.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In (Goldblatt 1975) the relation \(\perp _L\) was defined on the set of all proper filters of L by putting \(x\perp _L y\) iff \(\exists a\in L\) such that \(a'\in x\), \(a\in y\). That is equivalent to (18) when restricted to principal filters, and is also irreflexive, and hence satisifies (17) vacuously, when restricted to proper filters.
- 2.
Those settings typically use down-sets rather than up-sets. Here we are following the order-convention most commonly used in the relational semantics of intuitionistic, relevant and other substructural logics.
References
Bell, J. L. (2005). Cover schemes, frame-valued sets and their potential uses in spacetime physics. In A. Reimer (Ed.), Spacetime physics research trends, horizons in World physics (Vol. 248). New York: Nova Science Publishers. http://publish.uwo.ca/~jbell.
Bezhanishvili, G., & Holliday, W. H. (2016). Locales, nuclei, and Dragalin frames. In L. Beklemishev, S. Demri, & A. Máté (Eds.), Advances in modal logic (Vol. 11, pp. 177–196). London: College Publications.
Birkhoff, G., & Frink, O. (1948). Representations of lattices by sets. Transactions of the American Mathematical Society, 64(2), 299–316.
Davey, B. A., & Priestley, H. A. (1990). Introduction to lattices and order. Cambridge: Cambridge University Press.
Drágalin, A. G. (1988). Mathematical intuitionism: Introduction to proof theory. Providence: American Mathematical Society. Translation of the 1979 Russian original by Elliott Mendelson.
Goldblatt, R. I. (1975). The Stone space of an ortholattice. Bulletin of the London Mathematical Society, 7, 45–48.
Goldblatt, R. (2006). A Kripke-Joyal semantics for noncommutative logic in quantales. In G. Governatori, I. Hodkinson, & Y. Venema (Eds.), Advances in modal logic (Vol. 6, pp. 209–225). London: College Publications. www.aiml.net/volumes/volume6/.
Goldblatt, R. (2011). Cover semantics for quantified lax logic. Journal of Logic and Computation, 21(6), 1035–1063. http://doi.org/10.1093/logcom/exq029.
Goldblatt, R. (2011). Grishin algebras and cover systems for classical bilinear logics. Studia Logica, 99(1–3), 203–227.
Goldblatt, R. (2011). Quantifiers, propositions and identity: Admissible semantics for quantified modal and substructural logics (Vol. 38)., Lecture notes in logic No. 38, Cambridge: Cambridge University Press and the Association for Symbolic Logic.
Goldblatt, R. (2016). Cover systems for the modalities of linear logic. arXiv:1610.09117.
HedlÃková, J., & Pulmannová, S. (1991). Orthogonality spaces and atomistic orthocomplemented lattices. Czechoslovak Mathematical Journal, 41(1), 8–23.
Johnstone, P. T. (1982). Stone spaces. Cambridge: Cambridge University Press.
Johnstone, P. T. (2002). Sketches of an elephant: A topos theory compendium. Oxford: Oxford University Press.
Mac Lane, S., & Moerdijk, I. (1992). Sheaves in geometry and logic: A first introduction to topos theory. New York: Springer.
Macnab, D. S. (1976). An Algebraic Study of Modal Operators on Heyting Algebras, with Applications to Topology and Sheafification. Ph.D thesis, University of Aberdeen.
Macnab, D. S. (1981). Modal operators on Heyting algebras. Algebra Universalis, 12, 5–29.
MacNeille, H. M. (1937). Partially ordered sets. Transactions of the American Mathematical Society, 42, 416–460.
Simmons, H. (1978). A framework for topology. In A. Macintyre, L. Pacholski, & J. Paris (Eds.), Logic Colloqium ’77 (pp. 239–251)., Studies in logic. North-Holland.
Stone, M. H. (1937–8). Topological representations of distributive lattices and Brouwerian logics. Casopis pro Pestovani Matematiky a Fysiky, 67, 1–25.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Goldblatt, R. (2017). Representing and Completing Lattices by Propositions of Cover Systems. In: Yang, SM., Lee, K., Ono, H. (eds) Philosophical Logic: Current Trends in Asia. Logic in Asia: Studia Logica Library. Springer, Singapore. https://doi.org/10.1007/978-981-10-6355-8_1
Download citation
DOI: https://doi.org/10.1007/978-981-10-6355-8_1
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-6354-1
Online ISBN: 978-981-10-6355-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)