Items related to Lectures on Linear Logic (Volume 29) (Lecture Notes)

Lectures on Linear Logic (Volume 29) (Lecture Notes) - Softcover

Troelstra, A. S.

 
9780937073773: Lectures on Linear Logic (Volume 29) (Lecture Notes)
Softcover
ISBN 10: 0937073776 ISBN 13: 9780937073773
Publisher: Center for the Study of Language and Inf, 1992

This specific ISBN edition is currently not available.

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
Center for the Study of Language and Inf
Publication date
1992
Language
English
ISBN 10 
0937073776
ISBN 13 
9780937073773
Binding
Paperback
Number of pages
210