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