Proof nets for linguistic analysis

Richard Moot

46 citations0/0 files storedUtrecht University Repository (Utrecht University)

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Syntax, Semantics, Linguistic Variation Logic, programming, and type systems Logic, Reasoning, and Knowledge

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.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 46 citations exist upstream.

Cited by

2010Propositional glue and the projection architecture of LFG 2004Polarity sensitivity and evaluation order in type-logical grammar

Imported from OpenAlex (CC0) — nothing here is generated.