Lectures on Linear Logic (Csli Lecture Notes, Band 29) - Softcover

Troelstra, A. S.

 
9780937073773: Lectures on Linear Logic (Csli Lecture Notes, Band 29)
Softcover
ISBN 10: 0937073776 ISBN 13: 9780937073773
Verlag: CAMBRIDGE, 1992

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
CAMBRIDGE
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
0937073776
ISBN 13 
9780937073773
Einband
Taschenbuch
Anzahl der Seiten
210
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780937073780: Lectures on Linear Logic (Csli Lecture Notes)

Vorgestellte Ausgabe

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