ENGLISH

Lectures on Linear Logic

By A. S. Troelstra

Book information

Publisher
CSLI Publications
Year
1992
ISBN
0937073784, 9780937073780
LCC
QA9 .T76 1991
Language
english
Format
DJVU
Filesize
13 MB (13227972 bytes)
Series
Center for the Study of Language and Information - CSLI Lecture Notes 29
Edition
1
Pages
215\215
Topic
Mathematics Logic
Time added
2011-04-28 18:43:47

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.

Similar books