Commentary by cpressey on Order Theory works

Was lattice theory central to mid-20th century mathematics?

Introduction to Domain Theory

Deriving Laws from Ordering Relations

The thesis seems to be that the fact that some things form a lattice induces some of the laws and equations surrounding those things. For example, you get Bayes' Theorem from the algebraic properties of implication a la Cox. This is difficult to comprehend fully, but fascinating.

Lattices to Logic

It's only 100 pages. I should really try to digest it, but I have so far only skimmed it.