Lectures on Linear Logic Paperback
by A. S. Troelstra
Part of the Center for the Study of Language and Information Publication Lecture Notes series
Paperback
- Information
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.
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback
- Pages:215 pages
- Publisher:Centre for the Study of Language & Information
- Publication Date:30/05/1992
- Category:
- ISBN:9780937073773
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback
- Pages:215 pages
- Publisher:Centre for the Study of Language & Information
- Publication Date:30/05/1992
- Category:
- ISBN:9780937073773
