This is Greg Restall’s website, with news, writings, links, and bite sized updates. For background look below.
“Modalities in Substructural Logics,” Logique et Analyse, 35 (1992) 303–321 (published in 1995). 420–426.
This paper generalises Girard’s results which embed intuitionistic logic into linear logic by showing how arbitrary substructural logics can be embedded into weaker substructural logics, using a single modality which ‘encodes’ the new structural rules.
Author: Greg Restall
Status: Published in 1995
Local file: modalitiessl.pdf
(278KB)
Subjects:
I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at consequently.org; Post: School of of Philosophy, Anthropology and Social Inquiry, University of Melbourne, Parkville 3010, Australia.
Start at the home page—a summary of the site. The left column is news, archived on the news archive page. The central column contains recent items from the writing page, which lists my publications. These are also categorised by topic. You can follow my links at my account on delicious and occasional short snarky remarks at @consequently on twitter.
To subscribe to this site, either read the full feed
of everything, the feed of news items only
, or the feed of writing items only
, which is also great for podcasting pdfs automatically.
This site is handcoded: I write text in Textmate, and Webby files things in the right place and uploads them to the server. This page was last modified on 2009-01-02 at 03:17PM.
G. K. Chesterton once wrote, “The word ‘good’ has many meanings. For example, if a man were to shoot his mother at a range of five hundred yards, I should call him a good shot, but not necessarily a good man.’ It’ the qualifier “necessarily” that shows Chesterton possessed a truly philosophical mind. – Thomas Cathcart and Daniel Klein, in Plato and a Platypus Walk into a Bar …