Underspecified interpretations in a curry-typed representation language

Journal of Logic and Computation

Volumn 15, Issue 2, 2005, Pages 131-143

  Fox, Chris ^a   Lappin, Shalom ^b  

^a UNIVERSITY OF ESSEX   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Curry typing; Intentional semantics; Property theory; Underspecified semantics; Unresolved scope readings; Untyped lambda calculus

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; FUNCTIONS; LOGIC PROGRAMMING; NATURAL LANGUAGE PROCESSING SYSTEMS; NUMBER THEORY;

CURRY-TYPING; INTENTIONAL SEMANTICS; PROPERTY THEORY; UNDERSPECIFIED SEMANTICS; UNRESOLVED SCOPE/READINGS; UNTYPED LAMBDA CALCULUS;

SEMANTICS;

EID: 20844457814     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/exi006     Document Type: Conference Paper

References (22)

1. P. Blackburn and J. Bos. Representation and Inference for Natural Language. CSLI, Stanford, 2005.
2. J. Bos. Predicate logic unplugged. In Proceedings of the Tenth Amsterdam Colloquium. Amsterdam, Holland, 1995.
3. W. H. Campbell. Indexing permutations. Journal of Computing in Small Colleges, 19, 296-300, 2004.
4. R. Cooper. Quantification and Syntactic Theory. D. Reidel, Dordrecht, 1983.
5. A. Copestake, D. Flickinger, and I. A. Sag. Minimal recursion semantics. Unpublished ms, Stanford University, Stanford, CA, 1997.
6. D. Crouch and J. van Genabith. Context change, underspecification, and structure of glue language derivations. In Semantics and Syntax in Lexical Functional Grammar, M. Dalrymple, ed., pp. 117-189. MIT, Cambridge, MA, 1999.
7. H. B. Curry and R. Feys. Combinatory Logic, Volume 1 of Studies in Logic. North Holland, 1958.
8. M. Dalrymple, J. Lamping, F. Pereira, and V. Saraswat. Quantifiers, anaphora and intensionality. In Semantics and Syntax in Lexical Functional Grammar, M.Dalrymple, ed., pp. 39-89. MIT, Cambridge, MA, 1999.
9. C. Ebert. The expressive completeness of underspecified representations. In Proceedings of the Fourteenth Amsterdam Colloquium. Amsterdam, Holland, 2003.
10. C. Fox and S. Lappin. A framework for the hyperintensional semantics of natural language with two implementations. In Logical Aspects of Computational Linguistics, Springer Lecture Notes in Artificial Intelligence, P. de Groote, G. Morrill, and C. Retore, eds, pp. 175-192. Springer-Verlag, Berlin and New York, 2001.
11. C. Fox and S. Lappin. Doing natural language semantics in an expressive first-order logic with flexible typing. In Proceedings of Formal Grammar 2003, G. Jaeger, P. Monachesi, G. Penn, and S. Wintner, eds, pp. 89-102. Technical University of Vienna, Vienna, 2003a.
12. C. Fox and S. Lappin. A type-theoretic approach to anaphora and ellipsis. In Proceedings of Recent Advances in Natural Language Processing, G. Angelova, K. Bontcheva, R. Mitkov, N. Nicolov, and N. Nikolov, eds, pp. 1-10. Bulgarian Academy of Science, Borovets, Bulgaria, 2003b.
13. C. Fox and S. Lappin. Formal Foundations of Intensional Semantics. Blackwell, Oxford, to appear, July 2005.
14. C. Fox, S. Lappin, and C. Pollard. First-order curry-typed logic for natural language semantics. In Proceedings of the 7th International Workshop on Natural Language Understanding and Logic Programming, S. Winter, ed., pp. 175-192. University of Copenhagen, Copenhagen, 2002.
15. C. Fox, S. Lappin, and C. Pollard. Intensional first-order logic with types. In Proceedings of the Seventh Symposium for Logic and Language, G. Alberti, K. Balough, and P. Dekker, eds, pp. 47-56. University of Pecs, Pecs, Hungary, 2002b.
16. C. Fox and S. Lappin. An expressive first-order logic with flexible typing for natural language semantics. Logic Journal of the Interest Group in Pure and Applied Logics, 12, 135-168, 2004.
17. E. Keenan. Beyond the fregean boundary. Linguistics and Philosophy, 15, 199-221, 1992.
18. W. Keller. Nested cooper storage: The proper treatment of quantification in ordinary noun phrases. In Natural Language Parsing and Linguistic Theories. U. Reyle and C. Rohrer, eds, Reidel, Dordrecht, 1988.
19. R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven/London, 1974. Edited with an introduction by R.H. Thomason.
20. F. Pereira. Categorial semantics and scoping. Computational Linguistics, 16, 1-10, 1990.
21. U. Reyle. Dealing with ambiguities by underspecification: Construction, representation and deduction. Journal of Semantics, 10, 123-179, 1993.
22. J. van Eijck. Computational semantics and type theory. Unpublished ms, CWI, Amsterdam, 2003.