Search our site
Persons Unknown by Susie Steiner Read the opening extract of the brand new Susie Steiner book before its publication on 05/04/2018

Lectures on Linear Logic by A. S. Troelstra


Lectures on Linear Logic by A. S. Troelstra

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.

About the Author

Loading other formats...

Book Info

Publication date

30th June 1992


A. S. Troelstra

More books by A. S. Troelstra
Author 'Like for Like'


Centre for the Study of Language & Information


215 pages


Mathematical logic



Books of the month/debuts of the month, kids/adults, fiction/non-fiction, free prize draws and free extracts, what's not to love?

Emma Smith

I love the honest opinions, recommendations for every genre and every reader, wish lists and Like for Like.

Amrita Dasgupta

My horizons have been broadened by some of the books I have been lucky to review and I expect it to be no different in the future.

Daran Bellingham

You can trust Lovereading to show unbiased reviews by actual, ordinary readers that help likeminded booklovers choose their next great read.

Linda Hill

Lovereading recommends, honestly reviews and promotes books-what more can I say?!

Rachel Bridgeman

The selections are so varied and the reader reviews are so helpful. A fantastic website for those who love books.

Ann Quintilla

Thanks to Lovereading I have discovered new writers and read books I would never had looked twice at - and enjoyed them.

Angela Rhodes

Lovereading always comes up with great suggestions and has introduced me to enjoyable books and new authors to discover.

Gaynor Passmore