5 search results - page 1 / 1 » Proof Nets for the Multimodal Lambek Calculus |
SLOGICA
2002
13 years 4 months ago
2002
COLING
2000
13 years 6 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 ...
ANLP
2000
13 years 6 months ago
2000
CORR
2008
Springer
13 years 5 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 ...
GRAMMARS
2000
13 years 5 months 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...