By Peter Schroeder-Heister, Kosta Dosen
Substructural logics contain a relations of nonclassical logics that arose in keeping with difficulties in theoretical computing device technological know-how, mathematical linguistics, and classification thought. They contain intuitionist good judgment, suitable common sense, BCK common sense, linear good judgment, and Lambeck's calculus of artificial different types. This ebook brings jointly new papers by way of one of the most eminent specialists in those quite a few traditions that allows you to offer a unified view of the sector. this crucial volume--the first to compile the disparate strands of labor in substructural logics--will be welcomed by way of scholar logicians, theoretical desktop scientists, theoretical linguists, philosophers, and mathematicians operating in type idea and common algebra.