Skip Navigation



Journal of Logic and Computation Advance Access published online on February 1, 2008
Journal of Logic and Computation, doi:10.1093/logcom/exm089
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Morrill, G.
Right arrow Articles by Fadda, M.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original papers

Proof Nets for Basic Discontinuous Lambek Calculus

Glyn Morrill and Mario Fadda

Universitat Politècnica de Catalunya E-mail: mfadda{at}lsi.upc.edu, morrill{at}lsi.upc.edu

Received 18 September 2007.



References

  1. Bach E. Discontinuous constituents in generalized categorial grammars. In. Burke VA, Pustejovsky J, eds. (1981) New York: GLSA Publications. 1–12. Proceedings of the 11th Annual Meeting of the North Eastern Linguistics Society.
  2. Bellin G, van de Wiele J. Empires and kingdoms in MLL-. In. In: Advances in Linear Logic—Girard JY, Lafont Y, Regnier L, eds. (1995) Cambridge: Cambridge University Press. London Mathematical Society Lecture Note Series, vol. 222.
  3. Danos V, Regnier L. The structure of multiplicatives. Archive for Mathematical Logic (1989) 28:181–203.[CrossRef]
  4. de Groote P, Retoré Ch. On the semantic readings of proof nets. In. Proceedings of Formal Grammar—Kruijff G-JM, Morrill G, Oehrle RT, eds. (1996) 57–70. ESSLLI'96 Prague.
  5. Fadda M, Morrill G. The Lambek calculus with brackets. In. Language and Grammar: Studies in Mathematical Linguistics and Natural Language—Casadio C, Scott PJ, Seely RAG, eds. (2005) CSLI, Stanford. 113–128. Number 168 in CSLI Lecture Notes.
  6. Girard J.-Y. Linear logic. Theoretical Computer Science (1987) 50:1–102.[CrossRef][ISI]
  7. Johnson ME. Proof nets and the complexity of processing center-embedded constructions. Journal of Logic, Language, and Information (1998) 7:433–447.[CrossRef]
  8. Lambek J. The mathematics of sentence structure. American Mathematical Monthly (1958) 65:154–70.[Medline]
  9. Melliès PA. A topological correctness criterion for non-commutative logic. In. In: Linear Logic in Computer Science—Ehrhard T, Girard J-Y, Ruet P, Scott PJ, eds. (2004) Cambridge University Press.
  10. Moortgat M. Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus (1988) Foris, Dordrecht.
  11. Moot R, Piazza M. Linguistic applications of first order intuitionistic linear logic. Journal of Logic, Language and Information (2001) 10:211–232.[CrossRef]
  12. Dekker P, Stokhof M, Venema Y. Proof syntax of discontinuity. In. Proceedings of the Amsterdam Colloquium (1997) 235–240. ILLC.
  13. Morrill G. Relational interpretation and geometrical form. In. Dynamic Perspectives in Logic and Linguistics—Abrusci VM, Casadio C, eds. (1999) 145–182. Bulzoni Editore, Rome.
  14. Morrill G. Incremental processing and acceptability. Computational Linguistics (2000) 26:319–338.[CrossRef][ISI]
  15. Morrill G. Towards generalised discontinuity. In. Jäger G, Penn G, Monachesi P, Wintner S, eds. 103–111. Proceedings of the 7th Conference on Formal Grammar, Trento, ESSLLI'02.
  16. Morrill G, Merenciano JM. Generalising discontinuity. Traitement automatique des langues (1996) 37:119–143.
  17. Morrill G. On bound anaphora in type logical grammar. In: In Resource-Sensitivity, Binding and Anaphora—Kruijff G-JM, Oehrle RT, eds. (2003) Dordrecht: Kluwer Academic Publishers. 159–177. Vol. 80 of Studies in Linguistics and Philosophy.
  18. Pentus M. Language completeness of the Lambek calculus. In. Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science (1994) 487–496.
  19. Puite Q, Moot R. Proof nets for the multimodal Lambek calculus. Studia Logica (2002) 71:415–442.[CrossRef]
  20. Roorda D. Resource Logics. Proof-theoretical Investigations (1991) PhD Thesis, Universiteit van Amsterdam.
  21. van Benthem J. Language in Action. Categories, Lambdas, and Dynamic Logic (1991) North-Holland, Amsterdam. Studies in Logic.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Morrill, G.
Right arrow Articles by Fadda, M.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?