TY - CHAP

T1 - Substructural logics

AU - Restall, Greg

PY - 2024/8/15

Y1 - 2024/8/15

N2 - Substructural logics are non-classical logics notable for the absence of one or more structural rules present in classical logic. Initial interest in substructural logics developed independently in the second half of the twentieth century, through considerations from philosophy (relevant logics), from linguistics (the Lambek calculus) and from the mathematics of proof theory (linear logic). Since the 1990s, these independent lines of inquiry have been understood to be different aspects of a unified field, and 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.

AB - Substructural logics are non-classical logics notable for the absence of one or more structural rules present in classical logic. Initial interest in substructural logics developed independently in the second half of the twentieth century, through considerations from philosophy (relevant logics), from linguistics (the Lambek calculus) and from the mathematics of proof theory (linear logic). Since the 1990s, these independent lines of inquiry have been understood to be different aspects of a unified field, and 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.

UR - https://plato.stanford.edu/index.html

UR - https://discover.libraryhub.jisc.ac.uk/search?isn=1095-5054&rn=1

M3 - Entry for encyclopedia/dictionary

T3 - Stanford encyclopedia of philosophy

BT - Stanford encyclopedia of philosophy

A2 - Zalta, Edward N.

A2 - Nodelman, Uri

PB - Metaphysics Research Lab Stanford University

CY - Stanford, CA

ER -