Book contents
- Frontmatter
- Contents
- Preface to the second edition
- Preface to the first edition
- 1 Ordered sets
- 2 Lattices and complete lattices
- 3 Formal concept analysis
- 4 Modular, distributive and Boolean lattices
- 5 Representation: the finite case
- 6 Congruences
- 7 Complete lattices and Galois connections
- 8 CPOs and fixpoint theorems
- 9 Domains and information systems
- 10 Maximality principles
- 11 Representation: the general case
- Appendix A: a topological toolkit
- Appendix B: further reading
- Notation index
- Index
Appendix B: further reading
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface to the second edition
- Preface to the first edition
- 1 Ordered sets
- 2 Lattices and complete lattices
- 3 Formal concept analysis
- 4 Modular, distributive and Boolean lattices
- 5 Representation: the finite case
- 6 Congruences
- 7 Complete lattices and Galois connections
- 8 CPOs and fixpoint theorems
- 9 Domains and information systems
- 10 Maximality principles
- 11 Representation: the general case
- Appendix A: a topological toolkit
- Appendix B: further reading
- Notation index
- Index
Summary
Background references for related areas of mathematics
[1] S. Abramsky, D. M. Gabbay and T. S. E. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. I, Background: mathematical structures, Oxford University Press, 1992. [This includes accounts of basic universal algebra, category theory, topology and logic.]
[2] S. N. Burris, Logic for Mathematics and Computer Science, Prentice-Hall, 1998.
[3] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, 1981. (Millennium edition may be freely downloaded from http://thoralf2.uwaterloo.ca.)
[4] P. J. Cameron, Introduction to Algebra, Oxford University Press, 1998.
[5] J. Dugundji, Topology, Allyn and Bacon, 1966.
[6] H. B. Enderton, Elements of Set Theory, Academic Press, 1977.
[7] J. B. Fraleigh, A First Course in Abstract Algebra, 6th edition, Addison-Wesley, 1999.
[8] D. C. Goldrei, Classic Set Theory: a Guided Independent Study, Chapman & Hall/CRC, 1996.
[9] G. Grätzer, Universal Algebra, 2nd edition, Springer-Verlag, 1979.
[10] A. G. Hamilton, Logic for Mathematicians, 2nd edition, Cambridge University Press, 1988.
[11] W. Hodges, A Shorter Model Theory, Cambridge University Press, 1997.
[12] J. Kelley, General Topology, Van Nostrand, 1955.
[13] S. Maclane, Categories for the Working Mathematician, 2nd edition, Springer-Verlag, 1998.
[14] J. J. Rotman, An introduction to the theory of groups, 4th edition, Springer-Verlag, 1995.
[15] W. A. Sutherland, An Introduction to Metric and Topological Spaces, Oxford University Press, 1975.
- Type
- Chapter
- Information
- Introduction to Lattices and Order , pp. 280 - 285Publisher: Cambridge University PressPrint publication year: 2002