Proof-Nets and Dependencies

Proof-Nets (Roorda 1990) are a good device for processing with categorial grammars, mainly because they avoid spurious ambiguities. Nevertheless, they do not provide easily readable structures and they hide the true proximity between Categorial Grammars and Dependency Grammars. We give here an other kind of Proof-Nets which is much related to Dependency Structures similar to those we meet in, for instance (Hudson 1984). These new Proof-Nets are called Connection Nets. We show that Connection Nets provide not only easily interpretable structures, but also that processing with them is more efficient.

[1]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[2]  Richard Hudson,et al.  English word grammar , 1995 .

[3]  W. Buszkowski.  Generative Power of Categorial Grammars , 1988 .

[4]  M. Moortgat.  Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus , 1988 .

[5]  Roman Jakobson,et al.  Structure of Language and Its Mathematical Aspects , 1961 .

[6]  Emmon W. Bach,et al.  Categorial Grammars and Natural Language Structures , 1988 .

[7]  Dirk Roorda,et al.  Resource Logics : Proof-Theoretical Investigations , 1991 .

[8]  Lucien Tesnière.  Éléments de syntaxe structurale , 1959 .

[9]  Martin J. Pickering,et al.  Dependency and constituency in categorial grammar , 1992 .

[10]  Mark Steedman,et al.  On the order of words , 1982 .

[11]  Wojciech Buszkowski.  Completeness Results for Lambek Syntactic Calculus , 1986, Math. Log. Q..

[12]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[13]  Roland Hausser,et al.  Computation of Language , 1989, Symbolic Computation.

[14]  Wojciech Zielonka.  Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes , 1981, Math. Log. Q..

[15]  Mark Hepple.  Efficient Incremental Processing with Categorial Grammar , 1991, ACL.

[16]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[17]  Joachim Lambek,et al.  On the Calculus of Syntactic Types , 1961 .

[18]  Mark Steedman.  Type-Raising and Directionality in Combinatory Grammar , 1991, ACL.

[19]  Vincent Danos,et al.  The structure of multiplicatives , 1989, Arch. Math. Log..