Substructural logics: A primer
β Francesco Paoli
π Library
π
2002
π English
β¦ LIBER β¦
π
Substructural Logics: A Primer
β Scribed by F. Paoli
- Publisher
- Springer
- Year
- 2002
- Tongue
- English
- Leaves
- 316
- Series
- Trends in Logic
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
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
Substructual Logics: A Primer
β Francesco Paoli
π Library
π
2002
π Springer
π English
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
β 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.