Lectures on Linear Logic - Brossura

Troelstra, Anne Sjerp

Brossura

ISBN 10: 0937073776 ISBN 13: 9780937073773

Casa editrice: The Center for the Study of Language and Information Publications, 1992

Riassunto

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.

Su questo libro

Contenuti

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.

Dettagli dell?edizione

• Editore: The Center for the Study of Language and Information Publications
• Data di pubblicazione: 1992
• ISBN 10: 0937073776
• ISBN 13: 9780937073773
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero di pagine: 215
• Contatto del produttore: non disponibile