Glyn Morrill

Photo circa 1992.

Photo of my wife Anna Gavarró. Her web page is http://seneca.uab.es/ggt/Gavarro/gavarro.html.

Photo of our children Lena and Joan.

Me with Lena and Joan.

I'm interested in language, logic and computation; particularly the roles of logic in grammar and language processing. 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''.)

• Morrill 2010: `Categorial Grammar', in Bernd Heine and Heiko Narrog (eds.) The Oxford Handbook of Linguistic Analysis, Oxford University Press, 67--86.
• Morrill and Gavarró 2009: ` Categorial Complexity of Relativisation and Child Romance Performance', To appear in the proceedings of The Romance Turn 3, Southampton.
• Morrill, Valentín and Fadda 2009: `Dutch Grammar and Processing: A Case Study in TLG', in Bosch, Gabelaia and Lang (eds.) Logic, Language, and Computation: 7th International Tbilisi Symposium, Revised Selected Papers, Springer Lecture Notes in Artificial Intelligence No. 5422, 272--286.
• Morrill and Fadda 2008: `Proof Nets for Basic Discontinuous Lambek Calculus', Journal of Logic and Computation, 18, 2, 239--256. Warning: apparently main theorem (25) is incorrect.
• Morrill 2007: `A Chronicle of Type Logical Grammar': 1935--1994, Research on Language and Computation, 5, 3, 359--386.
• Morrill, Fadda and Valentín 2007: ` Nondeterministic Discontinuous Lambek Calculus', in Proceedings of the Seventh International Workshop on Computational Semantics, IWCS7, Tilburg.
• Morrill 2006: `Categorial Grammars: Deductive Approaches', in Keith Brown (ed.) Encyclopedia of Language and Linguistics , 2nd Edition, Elsevier, Oxford, Volume Two, 242--248.
• Carpenter and Morrill 2005: ` Switch Graphs for Parsing Type Logical Grammars', in Proceedings of the International Workshop on Parsing Technology, IWPT05, Vancouver.
• Morrill 2005: `Geometry of Language and Linguistic Circuitry', in C. Casadio, P.J. Scott and R.A.G. Seely (eds.) Language and Grammar: Studies in Mathematical Linguistics and Natural Language, CSLI Lecture Notes No. 168, Stanford, 237--264.
• Fadda and Morrill 2005: `The Lambek Calculus with Brackets', in C. Casadio, P.J. Scott and R.A.G. Seely (eds.) Language and Grammar: Studies in Mathematical Linguistics and Natural Language, CSLI Lecture Notes No. 168, Stanford, 113--128.
• Morrill and Gavarró 2004: ` On Aphasic Comprehension and Working Memory Load', in Proceedings of Categorial Grammars: An efficient tool for Natural Language Processing, Montpellier, 259--287.
• Morrill 2003: `On Bound Anaphora in Type Logical Grammar', in Geert-Jan M. Kruijff and Richard T. Oehrle (eds.) Resource-Sensitivity, Binding and Anaphora, Studies in Linguistics and Philosophy 80, Kluwer Academic Publishers, Dordrecht, 159-177.
• Morrill 2003: `Syntax and Semantics: Formal Approaches', in Lynn Nadel (ed.) Encyclopedia of Cognitive Science, Volume 4, Nature Publishing Group, MacMillan, London, 338-345.
• Morrill 2002: ` Towards Generalised Discontinuity', in Jager, Monachesi, Penn and Wintner (eds.): 2002, Proceedings of the 7th Conference on Formal Grammar, Trento, ESSLLI 2002, 103-111.
• Morrill 2002: `Islands, coordination and parasitic gaps', in V.M. Abrusci and C. Casadio (eds.): 2002, New Perspectives in Logic and Formal Linguistics, Proceedings Vth Roma Workshop, Bulzoni Editore, Roma. Also Report de Recerca LSI-02-16-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill 2001: Lògica de primer ordre, intermediate level textbook, Edicions UPC. http://www.edicionsupc.es/virtuals/fautcat.htm
• de Groote, Morrill and Retoré (eds.) 2001: Logical Aspects of Computational Linguistics, Fourth International Conference, LACL'01, Le Croisic, France, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin.
• Morrill 2000: `Incremental Processing and Acceptability', Computational Linguistics, 26, 3, 319-338. Formerly Report de Recerca LSI-98-46-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill 2000: ` Type-Logical Anaphora', Report de Recerca LSI-00-77-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill 2000: ` Dutch Word Order and Binding', Report de Recerca LSI-00-59-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill 1999: ` Geometry of Lexico-Syntactic Interaction', appendix, Proceedings of the European Association for Computational Linguistics, EACL99, Bergen, 61-70.
• Morrill 1999: ` Relational Interpretation and Geometrical Form', in V. Michele Abrusci and Claudia Casadio (eds.), Dynamic Perspectives in Logic and Linguistics, Bulzoni Editore, Roma, 145-182. Formerly Syntactic Connectivity, Report de Recerca LSI-98-26-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Merenciano and Morrill 1997: ` Generation as deduction on labelled proof nets', in C. Retoré (ed.) Logical Aspects of Computational Linguistics: Proceedings of LACL96, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 310-328.
• Morrill 1997: ` Geometry of Language', Report de Recerca LSI-97-45-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill 1997: `Proof syntax of discontinuity', in Paul Dekker, Martin Stockhof and Yde Venema (eds.) Proceedings of the 11th Amsterdam Colloquium, ILLC, Amsterdam, 235-240.
• Morrill 1996: `Grammar and logic', Theoria, LXII, 3, 260-293. Formerly Morrill 1990: Grammar and Logical Types, in Martin Stokhof and Leen Torenvliet (eds.) Proceedings of the 1989 Seventh Amsterdam Colloquium, 429-450, and in G. Barry and G. Morrill 1990 (eds.), Studies in Categorial Grammar, Edinburgh Working Papers in Cognitive Science, Volume 5, 127-148.
• Morrill 1996: ` Memoisation of categorial proof nets: parallelism in categorial processing', in V. Michele Abrusci and Claudia Casadio (eds.) Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop, 157-169. Formerly Report de Recerca LSI-96-24-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill and Merenciano 1996: ` Generalising discontinuity', traitement automatique des langues, 27, 2, 119-143. Formerly Report de Recerca LSI-95-53-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Lloré and Morrill 1995: ` Difference Lists and Difference Bags for Logic Programming of Categorial Deduction', in Proceedings of SEPLN XI, Deusto. Also Report de Recerca LSI-95-30-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill 1995: `Discontinuity in Categorial Grammar', Linguistics and Philosophy, 18, 2, 175-219. Formerly `Discontinuity and Pied-Piping in Categorial Grammar', in M. Moortgat (ed.) Polymorphic Treatments, DYANA-2, 61-112, and Report de Recerca LSI-93-18-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill 1995: ` Clausal Proofs and Discontinuity', Bulletin of the Interest Group in Pure and Applied Logics, 3, 2-3, 403-427. Formerly ` Clausal Proof Nets and Discontinuity', Report de Recerca LSI-94-21-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill 1995: ` Higher Order Linear Logic Programming of Categorial Deduction', Proceedings of the European Association for Computational Linguistics, EACL95, Dublin, 133-140. This being a refinement and condensation of Report de Recerca LSI-94-42-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill and Gavarró 1995: ` Semiòtica, funció simbòlica i llenguatge poètic: Relacions amb la linguística', in P. Folch and M.T. Miró (eds.) Debats a la cruilla sobre el símbol, Promociones y Publicaciones Universitarias, Barcelona, 169--175.
• Morrill 1994: Type Logical Grammar: Categorial Logic of Signs, research monograph, Kluwer Academic Publishers, Dordrecht.
• Morrill 1994: ` Structural Facilitation and Structural Inhibition', in M. Abrusci, C. Casadio and M. Moortgat (eds.) Linear Logic and Lambek Calculus (EPRIT BRA 6852 DYANA-2), 183-210. Also Report de Recerca LSI-94-26-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Morrill and Solias 1993: ` Tuples, Discontinuity and Gapping in Categorial Grammar', in Proceedings of the European Chapter Association for Computational Linguistics, EACL93, Utrecht, 287-297.
• Morrill 1992: ` The Logical School of Categorial Grammar', in Alain Lecomte (ed.) Word Order in Categorial Grammar / l'Ordre des Mots dans les Grammaires Catégorielles, Proceedings of the DYANA Workshop, Adosa, Clermont-Ferrand, 81-92.
• Morrill and Gavarró 1992: ` Catalan Clitics', in Alain Lecomte (ed.) Word Order in Categorial Grammar / l'Ordre des Mots dans les Grammaires Catégorielles, Proceedings of the DYANA Workshop, Adosa, Clermont-Ferrand, 211-232.
• Morrill 1992: ` Categorial Formalisation of Relativisation: Islands, Extraction Sites and Pied Piping', Report de Recerca LSI-92-23-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.
• Moortgat and Morrill 1991: ` Heads and Phrases: Type Calculus for Dependency and Constituent Structure'.
• Barry, Hepple, Leslie and Morrill 1991: `Proof Figures and Structural Operators for Categorial Grammar', in Proceedings of the European Association for Computational Linguistics, EACL93, Berlin, 198-203.
• Morrill 1990: `Rules and Derivation: Binding Phenomena and Coordination in Categorial Logic', DYANA BR 3175 Deliverable R1.2.D.
• Morrill 1990: `Intensionality and Boundedness', Linguistics and Philosophy, 13, 6, 699-726. Formerly 1989: `Intensionality, Boundedness, and Modal Logic', Research Paper 32, Centre for Cognitive Science, University of Edinburgh.
• Morrill and Carpenter 1990: `Compositionality, Implicational Logics, and Theories of Grammar', Linguistics and Philosophy, 13, 2, 383-392. Formerly 1987: Research Paper 11, Centre for Cognitive Science, University of Edinburgh.
• Morrill, Leslie, Hepple and Barry 1990: `Categorial Deductions and Structural Operations', in Guy Barry and Glyn Morrill (eds.) Studies in Categorial Grammar, Edinburgh Working Papers in Cognitive Science, Volume 5, 1-21.
• Morrill 1989: `Grammar as Logic', Research Paper 34, Centre for Cognitive Science, University of Edinburgh.
• Hepple and Morrill 1989: `Parsing and Derivational Equivalence', in Proceedings of the European Association for Computational Linguistics, EACL89, Manchester, 10-18.
• Morrill 1988: Extraction and Coordination in Phrase Structure Grammar and Categorial Grammar, doctoral thesis, Centre for Cognitive Science, University of Edinburgh.
• Morrill 1987: `Phrase Structure Grammar and Categorial Grammar', in Ewan Klein and Johan van Benthem (eds.) Categories, Polymorphism and Unification, Centre for Cognitive Science, University of Edinburgh and Institute for Logic, Language and Information, Universiteit van Amsterdam, 201-230.
• Morrill 1987: `Meta-Categorial Grammar', in Nick Haddock, Ewan Klein and Glyn Morrill (eds.) Categorial Grammar, Unification Grammar, and Parsing, Edinburgh Working Papers in Cognitive Science, Volume 1, 1-29.
• Morrill 1985: ` Analysis of Relative Clauses in Generalized Phrase Structure Grammar, Combinatory Categorial Grammar, and Head-Driven Phrase Structure Grammar', masters thesis, Centre for Cognitive Science, University of Edinburgh.

Introducció a la Lògica

Apunts de teoria:

Apartat 0. Pre. 0_pre.ps, 0_pre.pdf.

Apartat 1. Estructures. 1_estruct.ps, 1_estruct.pdf.

Apartat 2. Llenguatge. 2_llengu.ps, 2_llengu.pdf.

Apartat 3. Equivalència. 3_equiv.ps, 3_equiv.pdf.

Apartat 4. Satisfactibilitat. 4_sat.ps, 4_sat.pdf.

Apartat 5. Validesa. 5_val.ps, 5_val.pdf.

Apartat 6. Post. 6_post.ps, 6_post.pdf.

Exercicis:

Exercicis. ex.ps, ex.pdf.

Exercici A. exA.ps, exA.pdf.

Exercici B. exB.ps, exB.pdf.

Exercici C. exC.ps, exC.pdf.

Exercici D. exD.ps, exD.pdf.

Exercici E. exE.ps, exE.pdf.

Exercici F. exF.ps, exF.pdf.

Exercici G. exG.ps, exG.pdf.