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.
Read More
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.
Read Less
Add this copy of Lectures on Linear Logic (Volume 29) (Lecture Notes) to cart. $18.12, good condition, Sold by Books From California rated 4.0 out of 5 stars, ships from Simi Valley, CA, UNITED STATES, published 1992 by Center for the Study of Language.
Edition:
1992, Center for the Study of Language and Information Publica Tion
Publisher:
Center for the Study of Language and Information Publica Tion
Published:
1992
Language:
English
Alibris ID:
18828256903
Shipping Options:
Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. No dust jacket. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition. Very Clean Copy-Over 500, 000 Internet Orders Filled.
Add this copy of Lectures on Linear Logic (Volume 29) (Lecture Notes) to cart. $61.47, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1992 by Center for the Study of Langua.
Edition:
1992, Center for the Study of Language and Information Publica Tion
Add this copy of Lectures on Linear Logic (Volume 29) (Lecture Notes) to cart. $95.67, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1992 by Center for the Study of Langua.
Edition:
1992, Center for the Study of Language and Information Publica Tion
