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 0937073784
- ISBN 13 9780937073780
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages210
Other Popular Editions of the Same Title
Search results for Lectures on Linear Logic (Volume 29) (Lecture Notes)
Seller Image
Lectures on Linear Logic CSLI Lectures Notes, 29
Published by
Center for the Study of Language and Information Publica Tion, 1992
ISBN 10: 0937073784
ISBN 13: 9780937073780
Used
Hardcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 200 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 545. Seller Inventory # 2157738
Quantity: 1 available