Year: 2002
Type: dissertation
Abstract: This book investigates the possible linguistic applications of proof nets, redundancy free \nrepresentations of proofs, which were introduced by Girard for linear logic. \nWe will adapt the notion of proof net to allow the formulation of a proof net calculus which is soundand complete for the multimodal Lambek calculus. \nFinally, we will investigate the computational and complexity theoretic consequences of this calculus and give an introduction to a practical grammar development tool based on proof nets.
Author: Richard Moot
Language: English
Subfield: Language and Linguistics
Field: Arts and Humanities
Domain: Social Sciences
Open Access status: green
OpenAlex ID: W3175365780