Lectures On Linear Logic
Download Lectures On Linear Logic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Lectures On Linear Logic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Lectures on Linear Logic
Author: Anne Sjerp Troelstra
language: en
Publisher: Center for the Study of Language and Information Publications
Release Date: 1992-05-01
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.