𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Relevant and Substructural Logic

✍ Scribed by Greg Restall

Tongue
English
Leaves
105
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Substructural Logics
πŸ“ Substructural Logics
✍ Peter Schroeder-Heister, Kosta Dosen πŸ“‚ Library πŸ“… 1993 πŸ› Clarendon Press 🌐 English

Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories.

Substructural Logics
πŸ“ Substructural Logics
✍ Kosta DoΕ‘en, Peter Schroeder-Heister πŸ“‚ Library πŸ“… 1994 πŸ› Clarendon Press 🌐 English

Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories.

Substructural Logics: A Primer
πŸ“ Substructural Logics: A Primer
✍ Francesco Paoli πŸ“‚ Library πŸ“… 2002 πŸ› Springer 🌐 English

<p>Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic <EM>tout court</EM>. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim