An Introduction to Substructural Logics | Resources |
Places: Main | Solutions | Links | Errata | Author |
This page will contain links to each web resource mentioned
the book, together with anything else relevant to the topic. At the moment
it does not contain many links. However, this will change.
If you find any web resources about substructural logics, please send email to Greg Restall with “ISL: Resources” in the subject line. The information will then be added to this web page. |
General Resources |
My research
links page contains links to the web pages of many individuals working
in substructural logics.
My publications page contains a list of all of my publications, together with downloadable preprints, to give you an idea of my current research, some of which is still on substructural logics. Hypatia is a large database of work of research in theoretical computer science. The Logic Journal of the IGPL is an online journal which often publishes material on substructural logics. The bibliography used in An Introduction to Substructural Logics is available for you to download and use. This BibTeX file contains all of the bibliography used in the book, together with many other references I have collected. Ed Mares has written a really good short introduction to relevant logic for the Stanford Encyclopedia of Philosophy. Categorial Grammar (the Lambek Calculus) has a web resource available. And a web reproduction of Lambek's “The Mathematics of Sentence Structure” can be perused here. The Computer Science Laboratory at SRI maintains a web page of linear logic resources. |
Part I: Proof Theory |
No Links Yet. |
Part II: Propositional Structures |
John Slaney's program MaGIC is available here. This program
generates small propositional structures for substructural logics.
Theory and Applications of Categories is an online journal devoted to (you guessed it) the theory and applications of categories. |
Part III: Frames |
No Links Yet. |
Part IV: Coda |
Logical Pluralism features in the coda as the endpoint of my discussion of what substructural logics are good for. These sketchy ideas have been developed much more in some recent work by JC Beall and me. Pointers to papers on this topic can be found at my publications page. |
Places: Main | Solutions | Links | Errata | Author |
This page is maintained by Greg Restall. Last modified 23 March 2000 |