An Introduction to Substructural Logics

摘要: This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural independently led significant developments in philosophy, computing and linguistics. An Introduction Substrucural Logics is first systematically survey new results impact this class has had on a wide range fields.The following topics are covered: * Proof Theory Propositional Structures Frames Decidability Coda Both students professors computing, linguistics, mathematics will find addition their reading.