Grail Tutorial - Bibliography

Aarts, E. & Trautwein, K. (1995), Non-associative Lambek categorial grammars in polynomial time, Mathematical Logic Quarterly 41, 476-484.

Ajdukiewicz, K. (1935), 'Die syntaktische Konnexität', Studies in Philosophy 1, 1-27.

Bar-Hillel, Y. (1964), Language and Information. Selected Essays on their Theory and Application, Addison-Wesley, New York.

Carpenter, B. (1998), Type-logical semantics, MIT Press.

Church, A. (1940), A formulation of the simple theory of types, Journal of Symbolic Logic 5, 56-68.

Curry, H. B. (1934), 'Functionality in Combinatory Logic', Proceedings of the National Academy of Sciences 20, 584-590.

Curry, H. B. & Feys, R. (1958), Combinatory Logic, Volume I.

Danos, V. (1990), 'La logique linéaire appliquée à l'étude de divers processus de normalisation (principalement du λ calcul)', PhD thesis, University of Paris VII.

Danos, V. & Regnier, L. (1989), The structure of multiplicatives, Archive for Mathematical Logic 28(3), 181-203.

Gamut, L. T. F. (1991), Logic, Language and Meaning Volume 2: Intensional Logic and Logical Grammar, The University of Chicago Press.

Girard, J.-Y. (1987), Linear Logic, Theoretical Computer Science 50(1), 1-102.

de Groote, P. (1999), The Non-associative Lambek calculus with product in polynomial time, in Murray, N. V. (ed) Automatic reasoning with analytic tableaux and related methods, Lecture Notes in Artificial Intelligence 1617, Springer, 128-139.

de Groote, P. (2006), Towards a Montagovian account of dynamics, Proceedings of Semantics and Linguistic Theory XVI, CLC Publications.

Howard, W. A. (1980), 'The formulae-as-types notion of construction', in Seldin, J. P & Hindley, J. R. (eds) To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press.

Kamp, H. & Reyle, U. (1993), From discourse to logic. Introduction to model-theoretic semantics of natural language, formal logic and discourse representation theory, Springer.

Kurtonina, N. & Moortgat, M. (1997), Structural Control, in Blackburn, P. & de Rijke, M., Specifying syntactic structures, CSLI, 75-113.

Lambek, J. (1958), 'The mathematics of sentence structure', American Mathematical Monthly 65, 154-170.

Lambek, J. (1961), On the calculus of syntactic types, in R. Jacobson (ed), 'Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics', Vol. XII, American Mathematical Society, pp. 166-178.

Montague, R. (1970), English as a formal language, in Bruno Visentini (ed) Linguaggi nelle società e nella tecnica, Milan, 189-223. Reprinted in Thomason (1974).

Montague, R. (1973), The proper treatment of quantification in ordinary English, in Hintikka, J., Moravcisk, J. & Suppes, P. (eds) Approaches to Natural Language, 221-242. Reprinted in Thomason (1974).

Moortgat, M. (1997), 'Categorial Type Logics', Chapter 2 in van Benthem, J. & ter Meulen, A. (eds) Handbook of Logic and Language, Elsevier/MIT Press, 1997.

Moortgat, M. & Morrill, G. (1991), 'Heads and phrases. Type calculus for dependency and constituent structure', OTS Working Papers, Utrecht University.

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

Moot, R. (2004), Graph algorithms for improving type-logical proof search, in 'Proceedings of Categorial Grammars 2004', 13-28.

Moot, R. (2007), Filtering axiom links for proof nets, in Kallmeyer, L., Monachesi, P., Penn, G. & Satta, G. (eds) 'Proceedings of Formula Grammar 2007', Dublin.

Muskens, R. (1994), Categorial grammar and Discourse Representation Theory, Proceedings of COLING 1994, Kyoyo, Japan, 508-514.

Muskens, R. (1996), 'Combining Montague semantics and discourse representation', Linguistics and Philosophy 19, 143-186.

Partee, B., ter Meulen, A. & Wall, R. (1990), Mathematical Methods in Linguistics, Kluwer.

Pentus, M. (1997), 'Product-free Lambek calculus and context-free grammars', Journal of Symbolic Logic 62(2), 648-660.

Pentus, M. (2006), 'Lambek calculus is NP complete', Theoretical Computer Science 357(1), 186-201.

Régin, J.-C. (1994), A filtering algorithm for constraints of difference in CSPs, in 'Proceedings of the Twelfth National Conference on Artificial Intelligence', Seattle, 362-367.

Roorda, D. (1991), Resource logics: proof-theoretical investigations, PhD thesis, University of Amsterdam.

Thomason, R. (1974), editor, Formal philosophy. Selected papers by Richard Montague, New Haven. .


Last modified: Thu Oct 20 17:45:26 CEST 2011