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

**The Haskell Road to Logic, Maths and Programming**

by

**Kees Doets, Jan van Eijck**-

**College Publications**

The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.

(

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

(

**647**views)

**A Second Course in Logic**

by

**Christopher Gauker**-

**University of Cincinnati**

This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.

(

**7900**views)

**A Problem Course in Mathematical Logic**

by

**Stefan Bilaniuk**

An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.

(

**15298**views)