Moot, R. (2014), Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars (submitted draft)


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

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

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. & Puite, Q. (2002), `Proof nets for the multimodal Lambek calculus', Studia Logica 71(3), 415-442.

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

Moortgat, M. & Moot, R. (2001), CGN to Grail: Extracting a type-logical lexicon from the CGN annotation, Language and Computers 37(1), 126-143.


Moot, R. & Retoré, C. (2012), The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics, Springer Lecture Notes in Computer Science 6850 (online access at Springer).

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


Moot, R. (2014), Extended Lambek calculi and first-order linear logic, in Claudia Casadio, Bob Coecke, Michael Moortgat and Philip Scott, eds `Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday', Springer LNCS 8222, 297-330, (preprint version)

Moortgat, M. & Moot, R. (2013), Proof nets for the Lambek-Grishin calculus, in Chris Heunen, Mehrnoosh Sadrzadeh and Edward Grefenstette, eds, 'Quantum Physics and Linguistics: A Computational, Diagrammatic Discourse', Oxford University Press, 283-320 (author-final draft version arXiv:1112.6384v1).

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).


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.



Mery, B., Moot, R. & Retoré, C. (2013), Plurals: individuals and sets in a richly typed semantics, in Logic and Engineering of Natural Language Semantics 10 (LENLS 10), Kanagawa, Japan (pdf).

Moot, R. (2013), A type-logical treebank for French, in Denys Duchier and Yannick Parmentier (eds), High-Level Methods for Grammar Engineering, Workshop at ESSLLI 2013, Düsseldorf, Germany (pdf).

Moot, R. (2013), A Toolkit for Engineering Type-Logical Grammars, in Denys Duchier and Yannick Parmentier (eds), System Demo at High-Level Methods for Grammar Engineering, Workshop at ESSLLI 2013, Düsseldorf, Germany.


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. (2012), Proof nets and the categorial flow of information, Yearbook of Logic and Interactive Rationality, Institute of Logic, Language and Information, Amsterdam.

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


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., 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. (2011), Second order lambda calculus for meaning assembly: on the logical syntax of plurals, Coconat 2011, Tilburg (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. (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).

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).

older publications by year

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, (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. (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).

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

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. & 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. (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 (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 (pdf).

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

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

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).

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 (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 (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 (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 (pdf).


Puite, Q. & Moot, R. (1999), Proof nets for the multimodal Lambek calculus, Technical Report 1096, Department of Mathematics, Utrecht University (pdf).

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


The draft reports listed in this section are work in progress and contain some parts which are still incomplete or imprecise, so page and section numbers are subject to change. I'd welcome any comments!

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.

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.
Last modified: Fri May 30 17:39:18 CEST 2014