Related Books

Labelled Non-Classical Logics
Language: en
Pages: 295
Authors: Luca Viganò
Categories: Philosophy
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

GET EBOOK

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
Structural Analysis of Non-Classical Logics
Language: en
Pages: 285
Authors: Syraya Chin-Mu Yang
Categories: Philosophy
Type: BOOK - Published: 2015-10-16 - Publisher: Springer

GET EBOOK

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analy
Proof Reconstruction in Classical and Non-Classical Logics
Language: en
Pages: 236
Authors: Stephanie Schmitt
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: IOS Press

GET EBOOK

Displaying Modal Logic
Language: en
Pages: 259
Authors: Heinrich Wansing
Categories: Philosophy
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

GET EBOOK

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully de
Substructural Logics: A Primer
Language: en
Pages: 306
Authors: F. Paoli
Categories: Philosophy
Type: BOOK - Published: 2013-11-27 - Publisher: Springer Science & Business Media

GET EBOOK

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