Lectures on Linear Logic

Anne Sjerp Troelstra (Autor)

Buch | Softcover

215 Seiten

1992
Centre for the Study of Language & Information (Verlag)
978-0-937073-77-3 (ISBN)

Titel nicht im Sortiment

Artikel merken

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.

1. Introduction; 2. Sequent calculus for linear logic; 3. Some elementary syntactic results; 4. The calculus of two implications: a digression; 5. Embeddings and approximations; 6. Natural deduction systems for linear logic; 7. Hilbert-type systems; 8. Algebraic semantics; 9. Combinatorial linear logic; 10. Girard domains; 11. Coherence in symmetric monoidal categories; 12. The storage operator as a coffee comonoid; 13. Evaluation in typed calculi; 14. Computation by lazy evaluation in CCC's; 15. Computation by lazy evaluation in SMC's and ILC's; 16. The categorical and linear machine; 17. Proofnets for the multiplicative fragment; 18. The algorithm of cut elimination for proof nets; 19. Multiplicative operators; 20. The undecidability of linear logic; 21. Cut elimination and strong normalization; References; Index.

Erscheint lt. Verlag	30.6.1992
Reihe/Serie	Center for the Study of Language and Information Publication Lecture Notes ; 29
Verlagsort	Stanford
Sprache	englisch
Maße	152 x 228 mm
Gewicht	530 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-937073-77-6 / 0937073776
ISBN-13	978-0-937073-77-3 / 9780937073773
Zustand	Neuware