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

Available at  / 57 libraries

Search this Book/Journal

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"

Related Books: 1-1 of 1

  • CSLI lecture notes

    Center for the Study of Language and Information, Stanford University (CSLI)

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
  • Subject Headings
  • Parent Bibliography ID
Page Top