Items related to Lectures on Linear Logic: 29 (Center for the Study...

Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes) - Hardcover

Troelstra, Anne Sjerp

 
9780937073780: Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes)
Hardcover
ISBN 10: 0937073784 ISBN 13: 9780937073780
Publisher: The Center for the Study of Language and Information Publications, 1992

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
The Center for the Study of Language and Information Publications
Publication date
1992
Language
English
ISBN 10 
0937073784
ISBN 13 
9780937073780
Binding
Hardcover
Number of pages
215