5 search results - page 1 / 1 » Proof Nets for the Multimodal Lambek Calculus |
SLOGICA
2002
15 years 22 days ago
2002
100
Voted
COLING
2000
15 years 2 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
98
Voted
ANLP
2000
15 years 2 months ago
2000
133
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
107
Voted
GRAMMARS
2000
15 years 28 days ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...