**Lectures on Linear Logic**

by A. S. Troelstra

**Publisher**: CSLI 1992**ISBN/ASIN**: 0937073776**ISBN-13**: 9780937073773**Number of pages**: 215

**Description**:

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

Download or read it online for free here:

**Download link**

(47MB, PDF)

## Similar books

**A Manual of Intensional Logic**

by

**Johan van Benthem**-

**CSLI**

An examination of the role of partial information - with illustrations drawn from different branches of Intensional Logic - and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers.

(

**7499**views)

**Symbolic Logic: A Second Course**

by

**Gary Hardegree**-

**UMass Amherst**

Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.

(

**8812**views)

**Topics in Logic and Foundations**

by

**Stephen G. Simpson**-

**The Pennsylvania State University**

This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.

(

**1292**views)

**Algebraic Logic**

by

**H. Andreka, I. Nemeti, I. Sain**

Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.

(

**12623**views)