Editorial Introduction: Substructural Logics and Metainferences

An Introduction to Substructural Logics

“Restall has written a masterful book that is well motivated by persuasive examples, a book that is marvellously lucid, and chock full of a distinctive combination of conceptual insight, good taste and mathematical elegance. This book is a perfect authoritative introduction to a burgeoning topic, eminently suitable to graduate students. Everything is explained from the ground up in a style that...

Substructural Logics and Residuated Lattices — an Introduction

This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic substructural logics and develops the proof theory of them. Then, residuated lattices are introduced as algebraic structures for substructural logics, and some recent developments of their algebraic study are ...

Relevant and substructural logics

This is a history of relevant and substructural logics, written for the Handbook of the History and Philosophy of Logic, edited by Dov Gabbay and John Woods.

Modalities in Substructural Logics

This paper generalises Girard's results which embed intuitionistic logic into linear logic by showing how arbitrary substructural logics can be embedded into weaker substructural logics, using a single modality whichèncodes' the new structural rules. Logics 1 1. Logics Logic is about valid deduction. One central result in logic is the deduction theorem. A; ` B if and only if`A ! B This result t...

Substructural fuzzy logics