Substructural Logics (Studies in Logic and Computation)

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.

Relevant and Substructural Logic

📁 Relevant and Substructural Logic

✍ Greg Restall 📂 Library 🌐 English

Logik / Logic

📁 Logik / Logic

✍ Dina Emundts, Sally Sedgwick 📂 Library 📅 2014 🏛 Walter De Gruyter 🌐 German

Volume 12 of the International Yearbook of German Idealism is dedicated to the theme of logic. The volume begins with essays on Kant. Kant acknowledges that there are various kinds of logic, and he considers it necessary to distinguish his transcendental logic from other kinds of logic.

Logik / Logic

📁 Logik / Logic

✍ Dina Emundts, Sally Sedgwick 📂 Library 📅 2014 🏛 Walter De Gruyter 🌐 German

Volume 12 of the International Yearbook of German Idealism is dedicated to the theme of logic. The volume begins with essays on Kant. Kant acknowledges that there are various kinds of logic, and he considers it necessary to distinguish his transcendental logic from other kinds of logic.

Trends in Logic: 50 Years of Studia Logi

📁 Trends in Logic: 50 Years of Studia Logica

✍ Vincent F. Hendricks, Jacek Malinowski (eds.) 📂 Library 📅 2003 🏛 Springer Netherlands 🌐 English

"This is a volume that is well worth having access to. Encourage your librarian to buy it if it's not already in your collection!" (David Devidi, The Review of Modern Logic 10:3-4, 2005-2007)