June 8, 2004

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.

← Ancestors | News Archive | Assertion, Denial, Paradox... →


I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.