Glyn Morrill

Glyn Morrill

Habilitat per al cos de catedràtics, resolució d'ANECA 22 de novembre 2012

ICREA Acadèmia 2012

Department of Computer Science,
Universitat Politècnica de Catalunya,
Jordi Girona Salgado, 31
08034 Barcelona.
Tel.: +34 93 413 7843

The meaning of life

Photo circa 1992.

Photo 2013.

Photo of my children Lena and Joan.

Me with Lena and Joan.

Última carta de Gabriel García Márquez

My research falls in the fields of natural language and computer science. It forms a part of the digital humanities and as such is interdisciplinary. It focuses in particular on the interface of linguistics, computation, and logic. The objective is to proportion a computational environment in which to analyse the syntax and semantics of human language. In this way we aim to help move linguistics from a paradigm which attempted by hand the derivation of analyses and verification of grammars, to a paradigm in which the same is done computationally, with the consequent enormous gain in economy and reliability.

The framework in which this is done is (type) logical grammar. In this approach grammar is reduced to logic: an expression is gramatical if and only if an associated logical statement is a theorem of a calculus. Thus parsing is deduction, and the calculus is constructive: the proof of the grammaticality of an expression provides its semantics in terms of the semantics of its words.

I have been pursuing this programme for 30 years. Recently I and my students have developped the displacement calculus which generalizes in a satisfactory way the classical treatment of continuity to discontinuity. This has enabled me to implement a Prolog parser/theorem-prover CatLog which efficiently analyses sentences according to logical grammar and which generates their derivacions and semantic readings in LaTeX.

European Summer School in Logic, Language and Information course, Summer 2015, Displacement Logic for Grammar (Glyn Morrill and Oriol Valentín). Slides: A, B, C, D, E, F, G.

Barcelona Graduate School in Mathematics course, Autumn 2015, Mathematical Logic and Linguistics (Glyn Morrill and Oriol Valentín). Slides: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, annex10, 11, 12.

Photo: me, Michael Moortgat and Raffaella Bernardi, Ottawa 2003. (For a putative categorial syntactic structure to be correct, a proof net, it has to contain a Girard ``long trip''.)


PhD theses directed:

Oriol Valentín (2012) Theory of Discontinuous Lambek Calculus. Universitat Autònoma de Catalunya.

Mario Fadda (2010) Geometry of Grammar: Exercises in Lambek Style. Universitat Politècnica de Catalunya.

(with J. Carlos Ruiz Antón) F. Xavier Lloré (1995) Un método de `parsing' para gramáticas categoriales multimodales. Universitat Politècnica de Catalunya.


13 Greater love hath no man than this, that a man lay down his life for his friends.


28 After this, Jesus, knowing that all things were now accomplished, that the scripture might be fulfilled, saith, I thirst.

29 Now there was set a vessel full of vinegar; and they filled a sponge with vinegar, and put it upon hyssop, and put it to his mouth.

30 When Jesus therefore had received the vinegar, he said, It is finished, and gave up the ghost.


Now upon the first day of the week, very early in the morning, they came unto the sepulchre, bringing the spices which they had prepared, and certain others with them.

2 And they found the stone rolled away from the sepulchre.

3 And they entered in, and found not the body of the Lord Jesus.