Substructural Logics,” an entry in the Stanford Encyclopedia of Philosophy, 2018. (Substantial revision of the 2000 entry.)

Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules 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 an overview of the field of substructural logic.


Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.


← Fixed Point Models for Theories of Properties and Classes | Writing Archive | Truth Tellers in Bradwardine's Theory of Truth →

about

I’m Greg Restall, and this is my personal website. ¶ From August 2021, I will be the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews.

elsewhere

subscribe

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.

search