

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. (2002), Proof Nets for Linguistic Analysis, PhD thesis, Utrecht Institute of Linguistics OTS, Utrecht University (postscript, pdf).

Moot, R. (2008), 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', to appear with MIT 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).
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. & 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.
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).
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. & 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).

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

Richard.Moot@labri.fr Last modified: Fri Sep 19 14:54:28 CEST 2008