Lectures on Linear Logic Synopsis

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.

Book Information

ISBN: 9780937073773
Publication date: 30th June 1992
Author: A. S. Troelstra
Publisher: Centre for the Study of Language & Information
Format: Paperback
Pagination: 215 pages
Categories: Mathematical logic,

About A. S. Troelstra

More About A. S. Troelstra

Share this book