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

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

 
9780937073773: Lectures on Linear Logic (Volume 29) (Lecture Notes)

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.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9780937073780: Lectures on Linear Logic (Volume 29) (Lecture Notes)

Featured Edition

ISBN 10:  0937073784 ISBN 13:  9780937073780
Publisher: Center for the Study of Language..., 1992
Hardcover