Proof nets for linguistic analysis
| Autor: | Moot, R.C.A. |
|---|---|
| Přispěvatelé: | University Utrecht |
| Jazyk: | angličtina |
| Rok vydání: | 2002 |
| Předmět: |
categorial grammar
Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) proof nets proof theory TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Computer Science::Logic in Computer Science linear logic Lambek calculus Letteren complexity tree adjoining grammars automated deduction |
| Popis: | This book investigates the possible linguistic applications of proof nets, redundancy free representations of proofs, which were introduced by Girard for linear logic. We 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. Finally, 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|