Related Books
Language: en
Pages: 295
Pages: 295
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive s
Language: en
Pages: 285
Pages: 285
Type: BOOK - Published: 2015-10-16 - Publisher: Springer
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analy
Language: en
Pages: 236
Pages: 236
Type: BOOK - Published: 2000 - Publisher: IOS Press
Language: en
Pages: 259
Pages: 259
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully de
Language: en
Pages: 306
Pages: 306
Type: BOOK - Published: 2013-11-27 - Publisher: Springer Science & Business Media
The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory (espec