Lectures on linear logic
著者
書誌事項
Lectures on linear logic
(CSLI lecture notes, no. 29)
Center for the Study of Language and Information, c1992
- : [hard]
- : pbk
- タイトル別名
-
Linear logic
大学図書館所蔵 件 / 全57件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 191-196) and index
内容説明・目次
内容説明
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.
「Nielsen BookData」 より