Lectures on Linear Logic (Csli Lecture Notes) - Hardcover

Troelstra, A. S.

Hardcover

ISBN 10: 0937073784 ISBN 13: 9780937073780

Verlag: Center for the Study of Language and Information Publica Tion, 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.

Details zur Ausgabe

• Verlag: Center for the Study of Language and Information Publica Tion
• Erscheinungsdatum: 1992
• Sprache: Englisch
• ISBN 10: 0937073784
• ISBN 13: 9780937073780
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 215
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar