Locus Solum

"Locus Solum: From the rules of logic to the logic of rules" is a work in which Jean-Yves Girard descibes Ludics. The work lays out "a purely interactive approach to logic". The title means "only the location matters". The work contains a rather long appendix entitled "A pure waste of paper".

"Locus Solum" was presented at Computer Science Logic: 15th International Workshop, CSL 2001 (held at 10th Annual Conference of the EACSL), Paris, France, September 10-13, 2001. These proceedings were published in Lecture Notes in Computer Science, Volume 214, page 38 by Springer Berlin / Heidelberg. See http://www.springerlink.com/content/xhr6a2cuqc7550r5/

An journal version was then published in Mathematical Structures in Computer Science, Volume 11, Issue 3, pages 301-506 by Cambridge University Press in 2001. See http://journals.cambridge.org/action/displayFulltext?type=1&fid=80084&jid=MSC&volumeId=11&issueId=03&aid=80083

A preprint may be found on Girard's webpage. See http://iml.univ-mrs.fr/~girard/0.ps.gz