A Type Driven Theory of Predication with Complex Types

• Autorzy: Asher N.
• Języki publikacji: EN

Abstrakty

EN

This paper investigates several models of the complex type ź which is needed to analyze copredication. Previous accounts are shown to be inadequate and a new account both of ź and copredication is proposed.

Słowa kluczowe

EN

complex types; lambda calculus; categorial interpretation; copredication; coercion; dot types

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 84, nr 2
• Strony: 151--183
• Opis fizyczny: bibliogr. 21 poz.

Twórcy

autor

Asher N.

• Département Intelligence Artificielle et Systemes Cognitifs Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, 118 Route de Narbonne, 31062 Toulouse CEDEX 4, France,

Bibliografia

• [1] Aehling, K., Schwichtenberg, H.: A Syntactical Analysis of non-size-increasing polynomial time computation, Proceedings of the 15th Symposium on Logic in Computer Science (LICS 2000), IEEE Computer Science Press, Los Alamitos, CA, 2000.
• [2] Asher, N.: Aspects of Things, Philosophical Issues: A Supplement to Nous, 7, 2006, 1-20.
• [3] Asher, N.: A Web of Words: Lexical Meaning in Context, 2007, Manuscript available from author.
• [4] Asher, N., Lascarides, A.: Indirect Speech Acts, Synthese, 129(1-2), 2001, 183-228.
• [5] Asher, N., Pustejovsky, J.: Word Meaning and Commonsense Metaphysics, 2004, Available from [e-mail].
• [6] Asher, N., Reese, B.: Negative Bias in Polar Questions, Proceedings of SuB9 (E. Maier, C. Bary, J. Huitink, Eds.), 2005, www.ru.nl/ncs/sub9.
• [7] Asperti, A., Longo, G.: Catgories, Types and Structures: An Introduction to Category Theory for theWorking Computer Scientist, MIT Press, 1991.
• [8] Barr, M., Wells, C.: Category Theory for Computing Science, 1990, 3d edition, available University of Montreal's centre de recherches math´ematiques.
• [9] Blackburn, P.: Modal Logic and Attribute Value Structures, Diamonds and Defaults (M. de Rijke, Ed.), Kluwer, Dordrecht, Holland, 1997.
• [10] Cooper, R.: Do delicious lunches take a long time?, 2005, ESSLLI 2005 presentation.
• [11] Copestake, A., Briscoe, E. J.: Semi-productive Polysemy and Sense Extension, Journal of Semantics, 12, 1995, 15-67.
• [12] Dowty, D. R.: Word meaning and Montague Grammar: The semantics of verbs and times in Generative Semantics and Montague's PTQ, Number 7 in Studies in Linguistics and Philosophy, Kluwer, Dordrecht, 1979.
• [13] Kamp, H., Reyle, U.: From Discourse to Logic, Kluwer, Dordrecht, 1993.
• [14] Krifka, M.: Nominal and Temporal Constitution: Towards a Semantics of Quantity, Proceedings of the Sixth Amsterdam Colloquium, University of Amsterdam, Institute for Language, Logic and Infor- mation, 1987.
• [15] Lambek, J., Scott, P. J.: Introduction to Higher Order Categorial Logic, Cambridge University Press, 1986.
• [16] Lascarides, A., Briscoe, E., Asher, N., Copestake, A.: Order Independent and Persistent Typed Default Unification, Linguistics and Philosophy, 12, 1996, 1-89.
• [17] Martin-Löf, P.: Intuitionistic Type Theory, Bibliopolis, Naples, Italy, 1984.
• [18] Pustejovsky, J.: The Generative Lexicon, MIT Press, 1995.
• [19] Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism, Journal of Functional Programming, 14(2), 2004, 145-189.
• [20] Reese, B., Asher, N.: The Nuclear Option: The Interpretation of Tag Questions, Proceedings of SuB11, 2006.
• [21] Rothstein, S.: Resultative Predication in Structuring Events: A Study in the Semantics of Lexical Aspect, Blackwell's Publishing, 2003.