Record Detail
Advanced SearchText
An Introduction to Substructural Logics
This book introduces an important group of logics that have come to be known under the umbrella term 'substructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistic. An Introduction to Substructural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields. The following topics are convered: (a) Proof Theory; (b) Propositional Structures; (c) Frames; (d) Decidability. Both students and professor of philosophy, computing, linguistics and mathematics will find this book an important addition to their reading.
Availability
12094 | 160 Res i | Available |
Detail Information
Series Title |
-
|
---|---|
Call Number |
160 Res i
|
Publisher | Routledge : London & New York., 2000 |
Collation |
xiii + 400hlm: 15,5x23,5cm
|
Language |
English
|
ISBN/ISSN |
0-415-21534-X
|
Classification |
160
|
Content Type |
-
|
Media Type |
-
|
---|---|
Carrier Type |
-
|
Edition |
-
|
Subject(s) | |
Specific Detail Info |
-
|
Statement of Responsibility |
-
|
Other version/related
No other version available