An Introduction to Substructural Logics

by Greg Restall

This book introduces an important group of logics that have come to be known as substructural. It is the first to survey the important impact this class of logics has had on developments in philosophy, computing and linguistics.

Genres: Logic, Philosophy, Mathematics

396 pages, ebook

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