The draft reports listed in this section are work in progress and contain some parts which are still incomplete or imprecise, so please do not cite. I'd welcome any comments you might have.

Moot, R. (2007), Proof nets for display logic, Draft Report, available from (HAL).

A paper extending the proof nets for the multimodal Lambek calculus to several more recent extensions of it, such as the Lambek-Grishin calculus, and the Lambek calculus with Galois connections.

Moot, R. (2008), `Filtering axiom links for proof nets' (Draft Report).

An extended version of my Formal Grammar 2007 paper, which includes more details and examples about the different filtering strategies used by Grail, an extension to the binary case of the CFG criterion and an evaluation of the combined strategies on sentences extracted from a corpus.

Moot, R. (2008), `Lambek Grammars and Hyperedge Replacement Grammars' (Draft Report).

A more detailed treatment of the equivalence between proof nets for the multimodal Lambek calculus, the Lambek-Grishin calculus and second-order hyperedge replacement grammars, a result first appearing in a very condensed form in my TAG+2008 paper.


Bernardi, R. & Moot, R. (2003), `Generalized quantifiers in declarative and interrogative sentences', Logic Journal of the IGPL 11(4), 419-434.

Moortgat, M., Moot, R. & Oehrle, R. (2002) `Teaching tools for logic-based grammar development', To Eutupon 9, 1-14.

Moot, R. & Piazza, M. (2001), `Linguistic applications of first order multiplicative linear logic', Journal of Logic, Language and Information 10(2), 211-232.

Moot, R. & Puite, Q. (2002), `Proof nets for the multimodal Lambek calculus', Studia Logica 71(3), 415-442.

Moot, R. & Retoré, C. (2006), `Les indices pronominaux du français dans les grammaires catégorielles', Lingvisticae Investigationes 29(1), 137-146.

Moot, R. (2012), Wide-coverage semantics for spatio-temporal reasoning, to appear in Traitement Automatique des Languages (get the model files corresponding to the article: POS model, extrapolated POS model, supertag model, NER model, parser files will be available soon).


Blache, P., Stabler, E., Busquets, J. & Moot, R. (2005), Logical Aspects of Computational Linguistics, Proceedings of the 5th International Conference LACL 2005, Springer LNAI, Volume 3492.


Moot, R. (2002), Proof Nets for Linguistic Analysis, PhD thesis, Utrecht Institute of Linguistics OTS, Utrecht University (postscript, pdf or email me if you prefer a physical copy).

Moot, R. & Retoré, C. (2012), The Logic of Categorial Grammars, Springer Lecture Notes in Computer Science 6850 (online access at Springer).


Moot, R. (2010), Automated extraction of type-logical supertags from the Spoken Dutch Corpus, in Srinivas Bangalore and Aravind Joshi, eds, `Complexity of Lexical Descriptions and its Relevance to Natural Language Processing: A Supertagging Approach', MIT Press (get the models).

Moortgat, M. & Moot, R. (2012), Proof nets for the Lambek-Grishin calculus (draft arXiv:1112.6384v1). Revised version to appear as a chapter in E. Grefenstette, C. Heunen, and M. Sadrzadeh (eds.) 'Compositional Methods in Physics and Linguistics', Oxford University Press.


Anoun, H. & Moot, R. & Casteran, P. (2004), Proof automation for type-logical grammars, ESSLLI 2004 Course Notes, Nancy.

Bernardi, R. & Moot, R. (2000), Scope ambiguities from a proof-theoretical perspective, in J. Bos & M. Kohlhase, eds, `Proceedings of Inference in Computational Semantics 2', Dagstuhl, Germany, pp. 1-15 (pdf).

Lefeuvre, A., Moot, R., Sandillon-Rezer, N.-F. & Retoré, C. (2012), Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle, Proceedings of Traitement Automatique des Langues Naturelles 2012 (TALN 2012), Grenoble (pdf).

Lefeuvre, A., Moot, R., & Retoré, C. (2012), Traitement automatique d'un corpus de récits de voyages pyrénéens: Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types, Proceedings of Congrès Mondial de Linguistique Française 2012 (pdf).

Moortgat, M. & Moot, R. (2001), CGN to Grail: Extracting a type-logical lexicon from the CGN annotation, in W. Daelemans, ed.,`Proceedings of CLIN 2000', pp. 126-143 (postscript, pdf).

Moortgat, M. & Moot, R. (2002), Using the Spoken Dutch Corpus for type-logical grammar induction, in `Proceedings of the Third International Language Resources and Evaluation Conference', Las Palmas (postscript, pdf).

Moortgat, M. & Moot, R. (2012), Proof nets and the categorial flow of information, Yearbook of Logic and Interactive Rationality, Institute of Logic, Language and Information, Amsterdam.

Moortgat, M., Moot, R. & Oehrle, R. T. (2001), TeX in teaching, in S. Pepping, ed., `Proceedings EuroTeX 2001', pp. 130-140 (pdf).

Moot, R. (1997), Automated deduction for categorial grammar logics, in E. Kraak & R. Wasserman, eds, `Proceedings Accolade 1997', Dutch Research School in Logic, Amsterdam, pp. 50-65 (postscript, pdf).

Moot, R. (1998), Grail: an automated proof assistant for categorial grammar logics, in R. Backhouse, ed., `Proceedings of Calculemus/User Interfaces for Theorem Provers', pp. 120-129 (postscript, pdf).

Moot, R. (1999), Grail: an interactive parser for categorial grammars, in R. Delmonte, ed., `Proceedings of VEXTAL 1999', Universitá Cá Foscari, Venice, pp. 255-261 (postscript, pdf).

Moot, R. (2001), A short introduction to Grail, in C. Areces & M. de Rijke, eds, `Proceedings of Methods for Modalities 2' (postscript, pdf).

Moot, R. (2003), Parsing corpus-induced type-logical grammars, in R. Bernardi & M. Moortgat, eds, `Proceedings of the CoLogNet/ElsNet Workshop on Linguistic Corpora and Logic Based Grammar Formalisms', pp. 70-85 (postscript, pdf).

Moot, R. (2004), Graph algorithms for improving type-logical proof search, `Proceedings of Categorial Grammars 2004', pp. 13-28, Submitted to Elsevier Science.

Moot, R. (2007), Filtering axiom links for proof nets, in Laura Kallmeyer, Paola Monachesi, Gerald Penn and Giorgio Satta, eds, `Proccedings of Formal Grammar 2007', to appear with CSLI (see my 2008 report for an extended version).

Moot, R. (2008), Lambek grammars, tree adjoining grammars and hyperedge replacement grammars, in C. Gardent & A. Sarkar, eds, `Proceedings of TAG+9, The ninth international workshop on tree adjoining grammars and related formalisms', pp. 65-72, (postscript, pdf). NOTE: see my 2008 report Lambek Grammars and Hyperedge Replacement Grammars for a more detailed exposition, especially on the precise fragment of the Lambek-Grishin calculus/multimodal categorial grammars which is polynomially parseable and generates the tree adjoining languages.

Moot, R. (2010), Semi-automated Extraction of a Wide-Coverage Type-Logical Grammar for French, Proceedings of Traitement Automatique des Langues Naturelles 2010, (TALN 2010), Montreal (pdf, get the models).

Moot, R. (2010), Wide-Coverage French Syntax and Semantics using Grail, System Demo in the Proceedings of Traitement Automatique des Langues Naturelles 2010, (TALN 2010), Montreal (pdf).

Moot, R. (2011), Categorial Grammars and Minimalist Grammars, in S. Pogodalla, M. Quatrini & C. Retoré, eds, `Logic and Grammar. Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, Springer LNAI 6700, pp. 41-60.

Moot, R. (2012), Categorial grammars and wide-coverage semantics with Grail, System Demo at Logical Aspects of Computational Linguistics (LACL 2012), Nantes.

Moot, R., Prévot, L. & Retoré C. (2011), Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyages, short paper for TALN 2011 in Montpellier (pdf).

Moot, R., Prévot, L. & Retoré C. (2011), Discursive analysis of itineraries in a historical regional corpus of travels: syntax, semantics, and pragmatics in a unified type theoretical framework, Constraints in Discourse 2011, Agay-Roches Rouges (pdf).

Moot, R. & Retoré C. (2004), L'ordre des mots dans les grammaires catégorielles, in K. Gerdes & C. Muller, eds, `Journées de la syntaxe: l'ordre des mots dans la phrase française, positions et topologie', pp. 56-59, ERSS.

Moot, R. & Retoré C. (2011), Second order lambda calculus for meaning assembly: on the logical syntax of plurals, Coconat 2011, Tilburg (pdf).

Moot, R. & Puite, Q. (1999), Proof nets for multimodal categorial grammars, in G.-J. M. Kruijff & R. T. Oehrle, eds, `Proceedings of Formal Grammar 1999', pp. 103-114 (postscript, pdf).

Sandillon-Rezer, N.-F. & Moot, R. (2011), Using tree tranducers for grammatical inference, Proceedings of Logical Aspects of Computational Linguistics 2011, Montpellier, Springer LNAI 6736, pp. 235-250.


Moot, R. (1996), Proof nets and labeling for categorial grammar logics, Master's thesis, Utrecht University, Utrecht (postscript, pdf).

Puite, Q. & Moot, R. (1999), Proof nets for the multimodal Lambek calculus, Technical Report 1096, Department of Mathematics, Utrecht University (postscript, pdf).
Last modified: Mon Dec 3 13:53:18 CET 2012