An Introduction To Substructural Logics

This book introduces an important group of logics that have come to be knownunder the umbrella term susbstructural. Substructural logics haveindependently led t... » 

This book introduces an important group of logics that have come to be knownunder the umbrella term susbstructural. Substructural logics haveindependently led to significant developments in philosophy computing andlinguistics. An Introduction to Substrucural Logics is the first book tosystematically survey the new results and the significant impact that thisclass of logics has had on a wide range of fields.The following topics arecovered Proof Theory Propositional Structures Frames Decidability CodaBoth students and professors of philosophy computing linguistics andmathematics will find this to be an important addition to their reading. «