An Introduction to Substructural Logics

by Greg Restall

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural 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
* Proof Theory
* Propositional Structures
* Frames
* Decidability
* Coda
Both students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading.

Genres: Logic, Philosophy, Mathematics

398 pages, Kindle Edition

First published December 16, 1999

Reviews

[Harry Vincent · Rating 5 out of 5]

9/10

[Lin · Rating 5 out of 5]

Sehr gut. Hat mich erst zum Weinen gebracht, aber dann hat es mir geholfen.

Gibt es in der ULB in Düsseldorf🥰

[Daniel]

Substructural fixed-point theorems and the diagonal argument: theme and variations

Notes on ownership and substructural types

Compiler Engineering for Substructural Languages I: The Problem with Polymorphism