Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
暂无分享,去创建一个
[1] J. Girard. PROOF-NETS : THE PARALLEL SYNTAX FOR PROOF-THEORY , 1996 .
[2] Rob J. van Glabbeek,et al. Proof nets for unit-free multiplicative-additive linear logic , 2005, TOCL.
[3] Vincent Danos,et al. The structure of multiplicatives , 1989, Arch. Math. Log..
[4] Roberto Maieli,et al. Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic , 2007, LPAR.
[5] T. Jandrok,et al. Le point aveugle , 2009 .
[6] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[7] C. Retoré. Calcul de Lambek et logique linéaire , 1996 .
[8] V. Michele Abrusci. Classical Conservative Extensions of Lambek Calculus , 2002, Stud Logica.
[9] J. Lambek. The Mathematics of Sentence Structure , 1958 .
[10] Roberto Maieli. A new correctness criterion for multiplicative non-commutative proof nets , 2003, Arch. Math. Log..
[11] J. Girard. Proof-Nets: the parallel syntax for proof-theory , 2017 .
[12] Richard Moot. Proof nets for lingusitic analysis , 2002 .
[13] C. Retoré,et al. Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits , 2004 .
[14] Christian Retoré. A Semantic Characterisation of the Correctness of a Proof Net , 1997, Math. Struct. Comput. Sci..
[15] Dirk Roorda. Proof Nets for Lambek Calculus , 1992, J. Log. Comput..
[16] Rob J. van Glabbeek,et al. Proof nets for unit-free multiplicative-additive linear logic (extended abstract) , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[17] J. Girard,et al. 1 A topological correctness criterion for multiplicative non-commutative logic , 2016 .
[18] Richard Moot,et al. The Logic of Categorial Grammars , 2012, Lecture Notes in Computer Science.
[19] Paul Ruet,et al. Non-Commutative Logic I: The Multiplicative Fragment , 1999, Ann. Pure Appl. Log..