Lectures on Linear Logic CSLI Lectures Notes, 29

Troelstra, A. S.:

ISBN 10: 0937073784 / ISBN 13: 9780937073780

Published by Center for the Study of Language and Information Publica Tion, 1992

About this Item

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

Bibliographic Details

• Title: Lectures on Linear Logic CSLI Lectures Notes, 29
• Publisher: Center for the Study of Language and Information Publica Tion
• Publication Date: 1992
• Language: English
• ISBN 10: 0937073784
• ISBN 13: 9780937073780
• Binding: gebundene Ausgabe
• Condition: Gut
• Seller catalogs:
  • 90 Varia

About this title

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.