Substructural Logics
Edit Page
Report
Scan day: 07 February 2014 UTC
-64
Virus safety - good
Description: By Greg Restall of Macquarie University.
Substructural Logics (Stanford Encyclopedia of Philosophy) First published Tue Jul 4, 2000; substantive revision Wed Jan 16, 2008 than classical logic, notable for the absence of present in classical logic. These logics are motivated by considerations from philosophy (relevant logics), linguistics (the Lambek calculus) and computing (linear logic). In addition, techniques from substructural logics are useful in the study of traditional logics such as classical and intuitionistic logic. This article provides a brief overview of the field of substructural logic. For a more detailed introduction, complete with theorems, proofs and examples, the reader can consult the books and articles in the Bibliography.
Size: 712 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Substructural Logics (Stanford Encyclopedia of Philosophy) |
| Keywords: | |
| Description: | |
| IP-address: | 171.67.193.20 |
WHOIS Info
| NS | Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758 |
| WHOIS | |
| Date | activated: 04-Oct-1985 last updated: 07-May-2009 expires: 31-Jul-2014 |