Here is my favourite paper of the last few years. At last, I’ve finished wrestling with the diagrams in the paper and “The Geometry of Non-Distributive Logics” can now see light of day. My superb and long-suffering co-author Francesco Paoli and I have been working on this on-and-off since we met and talked about this material in the middle of 2001. Francesco provided a great draft, which sat in my pile of things to do for altogether too long as I tried to get the diagrams to look legible. Anyway, after some gentle reminding from Francesco, and after a few late nights and debugging MetaPost code, we’ve finished a draft of the paper.
Comments are, as always, most welcome.