Lectures on linear logic

Author(s)

• Troelstra, A. S. (Anne Sjerp)

Bibliographic Information

Lectures on linear logic

A.S. Troelstra

（CSLI lecture notes, no. 29）

Center for the Study of Language and Information, c1992

• : [hard]
• : pbk

Other Title

Linear logic

Note

Includes bibliographical references (p. 191-196) and index

Description and Table of Contents

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.

Table of Contents

• 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.

by "Nielsen BookData"

Details

• NCID: BA14283257
• ISBN:
  • 0937073784
  • 0937073776
• LCCN: 91038902
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: ix, 200 p.
• Size: 23 cm
• Classification:
  • LCC : QA9
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA0037651X