Lectures on Linear Logic
Will be published approx. on 15. June 1992
Book
Paperback/Softback
215 pages
978-0-937073-77-3 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Stanford
United States
Target group
Professional and scholarly
Product notice
Paperback (trade)
Dimensions
Height: 228 mm
Width: 152 mm
Thickness: 20 mm
Weight
530 gr
ISBN-13
978-0-937073-77-3 (9780937073773)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
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.