**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

**Predicative Arithmetic**

by

**Edward Nelson**-

**Princeton Univ Pr**

The book based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, and more.

(

**18115**views)

**Actual Causality**

by

**Joseph Y. Halpern**-

**The MIT Press**

In this book, Joseph Halpern explores actual causality, and such related notions as degree of responsibility, degree of blame, and causal explanation. The goal is to arrive at a definition of causality that matches our natural language usage.

(

**5892**views)

**Mathematical Logic**

by

**Stephen G. Simpson**-

**Pennsylvania State University**

Lecture notes for all mathematics graduate students. The text covers propositional calculus, predicate calculus, proof systems, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.

(

**16773**views)

**A Friendly Introduction to Mathematical Logic**

by

**Christopher C. Leary, Lars Kristiansen**-

**Milne Library Publishing**

In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.

(

**9088**views)