St. Alasdair in lattices everywhere

• St. Alasdair in lattices everywhere

• Author(s) / Creator(s)

  • Katalin Bimbó and J. Michael Dunn

• Urquhart works in several areas of logic where he has proved important results. Our paper outlines his topological lattice representation and attempts to relate it to other lattice representations. We show that there are different ways to generalize Priestley's representation of distributive lattices---Urquhart's being one of them, which tries to keep prime filters (or their generalizations) in the representation. Along the way, we also mention how semilattices and lattices figured into Urquhart's work.

• Date created

  2022-01-01

• Subjects / Keywords

  • Galois connection, Lattice, Relational semantics, Semilattice, Topological frame

• Type of Item

  Chapter

• DOI

  https://doi.org/10.7939/r3-mksd-gc70

• License

  Attribution-NonCommercial-NoDerivatives 4.0 International