Abstraction and ontology: Questions as propositional abstracts in type theory with records

Journal of Logic and Computation

Volumn 15, Issue 2, 2005, Pages 113-130

  Ginzburg, Jonathan ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Questions; Semantics of interrogatives; Type theory

Indexed keywords

ABSTRACTING; BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; FORMAL LOGIC; RECORDS MANAGEMENT;

QUESTIONS; QUESTIONS AS PROPOSITIONAL ABSTRACTS (QPA); SEMANTICS OF INTERROGATIVES; TYPE THEORY;

SEMANTICS;

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

References (31)

1. P. Aczel and R. Lunnon. Universes and parameters. In Situation Theory and Its Applications, II, J. Barwise, J. M. Gawron, and G. Plotkin, eds. CSLI Lecture Notes Number 26. CSLI Publications, Stanford, 1991
2. M. Aloni and R. van Rooy. The dynamics of question and focus. In Proceedings of SALT 21, 2002.
3. N. Asher, and A. Lascarides. Questions in dialogue. Linguistics and Philosophy, 21, 1998.
4. G. Betarte and A. Tasistro. Martin-Löfs type theory with record types and subtyping. In 25 Years of Constructive Type Theory, G. Sambin and J. Smith, eds. Oxford University Press, 1998.
5. S. Boer and W. Lycan. Knowing Who. Bradford Books. MIT Press, Cambridge, MA, 1985.
6. J. Bos and M. Gabsdil. First-order inference and the interpretation of questions and answers. In Proceedings of the Götalog, the 4th Workshop on the Formal Semantics and Pragmatics of Dialogue, M. Poesio and D. Traum, eds., Göteborg, 2000.
7. C. Chieh Shan and B. ten Cate. The partition semantics of questions, syntactically. In Proceedings of the ESSLLI-2002 student session Trento, M. Nissim, ed. 14th European Summer School in Logic, Language and Information, 2002.
8. R. Constable. Naive computational type theory. In Proof and System-Reliability, H. Schwichtenberg and R. Steinbruggen, eds., pp. 213-259, 2002.
9. R. Constable and J. Hickey. NUPRL's class theory and its applications. In Foundations of Secure Computation, F. L. Bauer and R. Steinbruggen, eds. pp. 91-115. IOS Press, Amsterdam, 2000.
10. R. Constable and S. Smith. Computational foundations of basic recursion theory. Theoretical Computer Science B: Logic, Semantics, and Theory of Programming, 121, 89-112, 1993.
11. R. Cooper. Austinian truth in Martin-Löf type theory. Research on Language and Computation. Forthcoming.
12. R. Cooper. Records and dialogue. Draft technical report for the project Records, types, and Computational Semantics, Gothenburg University Ms, 2004.
13. R. Cooper. Dynamic generalised quantifiers and hypothetical contexts In Ursus Philosophicus, a festschrift for Bjoern Haglund, Department of Philosophy. Gothenburg University, 2004.
14. R. Cooper. Mixing situation theory and type theory to formalize information states in dialogue exchanges In Proceedings of TwenDial 98, 13th Twente Workshop on Language Technology, J. Hulstijn and A. Nijholt, eds. Twente University, Twente, 1998.
15. T. Coquand, R. Pollack and M. Takeyama. A logical framework with dependent types. Fundamenta Informaticae, 20, 1-21, 2003.
16. R. Fernández, J. Ginzburg and S. Lappin. Classifying ellipsis in dialogue: a machine learning approach. In Proceedings of the 20th International Conference on Computational Linguistics, J. Hulstijn and A. Nijholt, eds. Geneva, Switzerland, pp. 240-246, 2004.
17. T.Fernando. Conservative generalized quantifiers and presupposition. In &4ZT, Volume 11,pp. 172-191.NYU/Comell, 2001.
18. J. Ginzburg. Resolving questions, I. Linguistics and Philosophy, 18, 459-527, 1995.
19. J. Ginzburg and I. A. Sag. Interrogative Investigations: The Form, Meaning and Use of English Interrogatives. Volume 123 in CSLI Lecture Notes. CSLI Publications, Stanford, CA, 2000.
20. H. P. Grice. Studies in the Ways of Words. Harvard University Press, 1989. Reprinted from a 1957 article.
21. J. Groenendijk and M. Stokhof. Studies on the Semantics of Questions and the Pragmatics of Answers. PhD thesis, University of Amsterdam, 1984.
22. R. Hausser. The syntax and semantics of English mood. In Questions and Answers, F. Kiefer, ed., Reidel, 1983.
23. J.-P. Koenig. Any questions left? Review of Ginzburg and Sag's interrogative investigations. Journal of Linguistics, 40, 131-148, 2004.
24. E. Krahmer and P. Piwek. Presupposition projection as proof construction. In Computing Meaning: Current Issues in Computational Semantics, Volume 1. H. Bunt and R. Muskens, eds., Kluwer, 1999.
25. S. Larsson, Issue Based Dialogue Management. PhD thesis, Gothenburg University, 2002.
26. R. Montague. The proper treatment of quantification in ordinary English In Formal Philosophy, R. Thomason, ed. Yale UP, New Haven, CT, 1974.
27. R. Neelken. Review of interrogative investigations. Journal of Logic, Language,and Information, (forthcoming).
28. A. Ranta. Type Theoretical Grammar. Oxford University Press, Oxford, 1994.
29. R. Scha/ Logical Foundations for Question Answering. PhD thesis, Rijksuniversitet Groningen, 1983.
30. J. Seligman and L. Moss. Situation theory In Handbook of Logic and Linguistics, J. van Benthem and A. ter Meulen, eds. North Holland, Amsterdam, 1997.
31. M. Simmons. Disjunction and alternatives. Linguistics and Philosophy, 25, 2002.