The Geometry of Non-Distributive Logics

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.

It’s the first completed technical work in the proof project, to go alongside some of the other stuff I’ve been working on.

Comments are, as always, most welcome.


I’m Greg Restall, and this is my personal website. I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews, and the Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other.


To receive updates from this site, subscribe to the RSS feed in your feed reader. Alternatively, follow me at, where most updates are posted.


This site is powered by Netlify, GitHub, Hugo, Bootstrap, and coffee.   ¶   © 1992– Greg Restall.