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.
- ISBN10 0937073776
- ISBN13 9780937073773
- Publish Date 15 June 1992
- Publish Status Withdrawn
- Out of Print 7 July 2021
- Publish Country US
- Imprint Centre for the Study of Language & Information
- Format Paperback (US Trade)
- Pages 215
- Language English
- URL http://wiley.com/remtitle.cgi?isbn=9780937073773