Items related to Lectures on Linear Logic (Volume 29) (Lecture Notes)
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.
- PublisherCenter for the Study of Language and Inf
- Publication date1992
- ISBN 10 0937073776
- ISBN 13 9780937073773
- BindingPaperback
- LanguageEnglish
- Number of pages210
Search results for Lectures on Linear Logic (Volume 29) (Lecture Notes)
Seller Image
Lectures on Linear Logic
Published by
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1550713-n
Quantity: 1 available
Seller Image
Lectures on Linear Logic
Published by
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1550713
Quantity: 1 available
Seller Image
Lectures on Linear Logic
Published by
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1550713-n
Quantity: 1 available
Seller Image
Lectures on Linear Logic
Published by
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
Used
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1550713
Quantity: 1 available