Foundations of Intensional Semantics

Foundations of Intensional Semantics

Volumn , Issue , 2008, Pages 1-182

  Fox, Chris ^a   Lappin, Shalom ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84889309193     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/9780470773543     Document Type: Book

References (113)

1. Aczel, P. (1980). Frege structures and the notions of proposition, truth and set. In Barwise, J., Keisler, J., and Keenan, E., editors, The Kleene Symposium, North Holland Studies in Logic, pp. 31-9. North Holland.
2. Barendregt, H. (1984). The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundation of Mathematics. North Holland, Amsterdam, second edition.
3. Barwise, J. (1997). Information and impossibilities. The Notre Dame Journal of Formal Logic, 38: 488-515.
4. Barwise, J. and Cooper, R. (1981). Generalised quantifiers and natural language. Linguistics and Philosophy, 4: 159-219.
5. Barwise, J. and Etchemendy, J. (1990). Information, infons, and inference. In Cooper, R., Mukai,K., and Perry, J., editors, Situation Theory and Its Applications, volume 1, pp. 33-78. CSLI, Stanford, CA.
6. Barwise, J. and Perry, J. (1983). Situations and Attitudes. MIT Press (Bradford Books), Cambridge,MA.
7. Bealer, G. (1982). Quality and Concept. Clarendon Press, Oxford.
8. Bell, J. (1999). Boolean algebras and distributive lattices treated constructively. Mathematical Logic Quarterly, 45, 135-43.
9. Benthem, J. van (1991). Language in Action. Studies in Logic. North-Holland, Amsterdam.
10. Beth, E.W. (1956). L'existence enmathématiques. In Collection de logique mathématiques, série A. Gauthier-Villars/Naewelaerts, Paris, Louvain. (Beth's lectures at the Sorbonne University (Paris), March 29-April 2, 1954.)
11. Blackburn, P. and Bos, J. (2005). Representation and Inference for Natural Language. CSLI, Stanford, CA.
12. Bos, J. (1995). Predicate logic unplugged. In Proceedings of the Tenth Amsterdam Colloquium. Amsterdam, Holland.
13. Campbell, W. H. (2004). Indexing permutations. Journal of Computing in Small Colleges, 19: 296-300.
14. Carnap, R. (1947). Meaning and Necessity. University of Chicago Press, Chicago.
15. Chierchia,G. (1982). Nominalisation and Montague grammar: a semantics without types for natural languages. Linguistics and Philosophy, 5: 303-54.
16. Chierchia, G. (1984). Topics in the Semantics of Infinitives and Gerunds. PhD thesis, University of Massachusetts, Amherst. Published in 1989 by Garland, New York.
17. Chierchia, G. (1995). Dynamics ofMeaning. University of Chicago Press, Chicago.
18. Chierchia, G. and Turner, R. (1988). Semantics and property theory. Linguistics and Philosophy, 11: 261-302.
19. Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5: 56-68.
20. Cocchiarella, N. B. (1979). The theory of homogeneous simple types as a second order logic. Notre Dame Journal of Formal Logic, 20: 505-24.
21. Cooper, R. (1983). Quantification and Syntactic Theory. Synthese Language Library. D. Reidel, Dordrecht.
22. Cooper, R. (1996). The role of situations in generalized quantifiers. In Lappin, S., editor, The Handbook of Contemporary Semantic Theory, pp. 65-86. Blackwell, Oxford.
23. Copestake, A., Flickinger, D., and Sag, I. A. (1997). Minimal recursion semantics. Technical report, Stanford University, Stanford, CA, unpublished ms.
24. Cresswell, M. J. (1985). StucturedMeanings. MIT Press, Cambridge,MA.
25. Crouch, D. and VanGenabith, J. (1999). Context change, underspecification, and the structure of glue language derivations. In Dalrymple, M., editor, Semantics and Syntax in Lexical Functional Grammar, pp. 117-89. MIT Press, Cambridge, MA.
26. Dalrymple, M., Lamping, J., Pereira, F., and Saraswat, V. (1999). Quantification, anaphora, and intensionality. In Dalrymple, M., editor, Semantics and Syntax in Lexical Functional Grammar, pp. 39-89. MIT Press, Cambridge, MA.
27. Dalrymple, M., Shieber, S., and Pereira, F. (1991). Ellipsis and higherorder unification. Linguistics and Philosophy, 14: 399-452.
28. Dávila-Pérez, R. (1994). Constructive type theory and natural language. Computer Science Memorandum 206, University of Essex.
29. Dávila-Pérez, R. (1995). Semantics and parsing in intuitionistic categorial grammar. PhD thesis, University of Essex.
30. Deemter, K. van (1996). Towards a logic of ambiguous expressions. In van Deemter, K. and Peters, S., editors, Semantic Ambiguity and Underspecification, pp. 203-37. CSLI, Stanford, CA.
31. Dowty, D., Wall, R., and Peters, S. (1981). Introduction to Montague Semantics. D. Reidel, Dordrecht.
32. Ebert, C. (2003). The expressive completeness of underspecified representations. In Proceedings of the Fourteenth Amsterdam Colloquium. Amsterdam, Holland.
33. Eijck, J. Van (2003). Computational semantics and type theory. unpublished ms., CWI, Amsterdam.
34. Eklund, M. (1996). On how logic became first-order. Nordic Journal of Philosophical Logic, 1(2): 147-67.
35. Enderton, H. B. (2001). A Mathematical Approach to Logic. Academic Press, New York.
36. Fiengo, R. and May,R. (1994). Indices and Identity.MIT Press, Cambridge, MA.
37. Fischer, M. J. and Rabin, M. O. (1974). Super-exponential complexity of Presburger arithmetic. In Proceedings of the SIAM-AMS Symposium in AppliedMathematics, volume 7, pp. 27-41.
38. Fitting, M. (1996). First-Order Logic and Automated Theorem Proving. Springer-Verlag, Berlin.
39. Fitting, M. (2000). Higher-order modal logic-A sketch. In Caffera, R. and Salzar, G., editors, Automated Deduction in Clasical and Non-Classical Logics, Springer Lecture Notes inArtificial Intelligence, pp. 23-38. Springer-Verlag, Berlin and New York.
40. Fitting,M. and Mendelsohn, R. (1999). First-Order Modal Logic. Kluwer, Dordrecht.
41. Fox, C. (2000). The Ontology of Language. CSLI Lecture Notes. CSLI, Stanford, CA.
42. Fox, C. and Lappin, S. (2001). A framework for the hyperintensional semantics of natural language with two implementations. In de Groote, P., Morrill, G., and Retore, C., editors, Logical Aspects of Computational Linguistics, Springer Lecture Notes in Artificial Intelligence, pp. 175-92. Springer-Verlag, Berlin and New York.
43. Fox, C. and Lappin, S. (2003). Doing natural language semantics in an expressive first-order logic with flexible typing. In Jaeger,G.,Monachesi, P., Penn, G., and Wintner, S., editors, Proceedings of Formal Grammar 2003, pp. 89-102. Technical University of Vienna, Vienna.
44. Fox, C. and Lappin, S. (2005). Underspecified interpretations in a Curry-typed representation language. Journal of Logic and Computation, 15: 129-41.
45. Fox, C., Lappin, S., and Pollard, C. (2002a). First-order Curry-typed logic for natural language semantics. In Winter, S., editor, Proceedings of the 7th International Workshop on Natural Language Understanding and Logic Programming, pp. 175-92, Copenhagen, University of Copenhagen.
46. Fox, C., Lappin, S., and Pollard, C. (2002b). A higher-order fine-grained logic for intensional semantics. In Alberti, G., Balough, K., and Dekker, P., editors, Proceedings of the Seventh Symposium for Logic and Language, pp. 37-46, Pecs, Hungary, University of Pecs.
47. Fox, C., Lappin, S., and Pollard, C. (2002c). Intensional first-order logic with types. In Alberti, G., Balough, K., and Dekker, P., editors, Proceedings of the Seventh Symposium for Logic and Language, pp. 47-56, Pecs, Hungary, University of Pecs.
48. Frege, G. (1892). On sense and reference. In Geach, P. and Black, M., editors, Translations from the Philosophical Writings of Gottlob Frege, 3rd Edition, pp. 56-78. Basil Blackwell, Oxford.
49. Gallin, D. (1975). Intensional and Higher-Order Modal Logic. North-Holland, Amsterdam.
50. Gazdar, G. (1980). A cross-categorial semantics for coordination. Linguistics and Philosophy, 3: 407-9.
51. Gilmore, P. C. (2001). An intensional type theory: Motivation and cut-elimination. Journal of Symbolic Logic, 66: 383-400.
52. Gregory, H. (2002). Relevance logic and natural language semantics. In Proceedings of Formal Grammar 2002, Trento, Italy.
53. Groenendijk, J. and Stokhof, M. (1990). DynamicMontague grammar. In Kálmán, L. and Polós, L., editors, Papers from the Second Symposium on Logic and Language, pp. 3-48, Budapest, Hungary, Akadémiai Kiadó. Also available as ITLI Prepublication Series LP-90-02.
54. Groenendijk, J. and Stokhof, M. (1991). Dynamic predicate logic. Linguistics and Philosophy, 14(1): 39-100.
55. Heim, I. (1982). The semantics of definite and indefinite noun phrases. PhD thesis, University of Massachusetts, Amherst. Thesis distributed by Graduate Linguistics Student Association.
56. Heim, I. (1990). E-type pronouns and donkey anaphora. Linguistics and Philosophy, 13: 137-77.
57. Henkin, L. (1950). Completeness in the theory of types. Journal of Symbolic Logic, 15: 323-44.
58. Jeffrey, R. (1982). Formal Logic: Its Scope and Limits. McGraw-Hill, New York.
59. Johnstone, P. T. (1982). Stone Spaces. Cambridge University Press, Cambridge.
60. Jonsson, B. and Tarski, A. (1951). Boolean algebras with operators. American Journal of Mathematics, 73: 891-939.
61. Kadmon, N. (1990). Uniqueness. Linguistics and Philosophy, 13: 237-324.
62. Kamareddine, F. (1995). Important issues in foundational formalisms. Bulletin of the Interest Group in Pure and Applied Logics, 3(2,3): 291-317.
63. Kamp, H. (1981). Theory of truth and semantic representation. In Groenendijk, J. A. K., Janssen, T. M. V., and Stokhof, M. B. J., editors, Formal Methods in the Study of Language, Mathematical Centre Tracts 135, pp. 277-322.Amsterdam.
64. Kamp, H. and Reyle, U. (1993). From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer, Dordrecht.
65. Keenan, E. (1992). Beyond the Fregean boundary. Linguistics and Philosophy, 15: 199-221.
66. Keenan, E. and Stavi, K. (1986). A semantic characterization of natural language determiners. Linguistics and Philosophy, 9: 253-326.
67. Keenan, E. and Westerståhl, D. (1997). Generalized quantifiers in linguistics and logic. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pp. 838-93. Elsevier, Amsterdam.
68. Keller, W. (1988). Nested Cooper storage: The proper treatment of quantification in ordinary noun phrases. In Reyle, U. and Rohrer, C., editors, Natural Language Parsing and Linguistic Theories. Reidel, Dordrecht.
69. König, E. and Reyle, U. (1999). A general reasoning scheme for underspecified representations. In Ohlbach, H. J. and Reyle, U., editors, Logic, Language, and Reasoning: Essays in Honour of Dov Gabbay. Kluwer, Dordrecht.
70. Kripke, S. (1959). A completeness theorem in modal logic. Journal of Symbolic Logic, 24: 1-14.
71. Lambek, J. and Scott, P. (1986). An Introduction to Higher Order Categorial Logic. Cambridge University Press, Cambridge.
72. Landman, F. (1986a). Data semantics: An epistemic theory of partial objects. In Towards a Theory of Information: The Status of Partial Objects in Semantics, Groningen-Amsterdam Studies in Semantics, pp. 1-96. Foris, Dordrecht.
73. Landman, F. (1986b). Pegs and alecs. In Towards a Theory of Information: The Status of Partial Objects in Semantics, Groningen-Amsterdam Studies in Semantics, pp. 97-136. Foris, Dordrecht.
74. Lappin, S. (1989). Donkey pronouns unbound. Theoretical Linguistics, 15: 263-86.
75. Lappin, S. (1996). The interpretation of ellipsis. In Lappin, S., editor, The Handbook of Contemporary Semantic Theory, pp. 145-75. Blackwell, Oxford.
76. Lappin, S. (1999). An HPSG account of antecedent contained ellipsis. In Lappin, S. and Benmamoun, E., editors, Fragments: Studies in Ellipsis and Gapping, pp. 68-97.Oxford University Press,NewYork.
77. Lappin, S. (2000a). An intensional parametric semantics for vague quantifiers. Linguistics and Philosophy, 23: 599-620.
78. Lappin, S. (2000b). An introduction to formal semantics. In Aronoff, M. and Rees-Miller, J., editors, The Blackwell Handbook of Linguistics, pp. 369-93. Blackwell, Oxford.
79. Lappin, S. (2003). Semantics. InMitkov, R., editor, The Handbook of Computational Linguistics, pp. 91-111. Oxford University Press, Oxford.
80. Lappin, S. and Francez, N. (1994). E-type pronouns, I-sums, and donkey anaphora. Linguistics and Philosophy, 17: 391-428.
81. Lappin, S. and Pollard, C. (1999). A hyperintensional theory of natural language interpretation without indices or situations. MS., King's College, London and Ohio State University.
82. Larson, R. and Segal, G. (1995). Knowledge of Meaning. MIT Press, Cambridge, MA.
83. Maibaum, T. (1997). Conservative extensions, interpretations between theories and all that! In Bidoit, M. and Dauchet, M. M., editors, TAPSOFT'97: Theory and Practice of Software Development, pp. 40-66, Springer-Verlag, Berlin and New York.
84. Martin-Löf, P. (1982). Constructive mathematics and computer programming. In Cohen, L. J., Los, J., Pfeiffer, H., and Podewski, K.P., editors, Logic, Methodology and Philosophy of Science VI, pp. 153-79. North Holland.
85. Martin-Löf, P. (1984). Studies in Proof Theory (Lecture Notes). Bibliopolis, Napoli.
86. McCord, M. and Bernth, A. (forthcoming). A metalogical theory of natural language semantics. Linguistics and Philosophy.
87. Meyer, A. (1982). What is a model of the lambda calculus? Information and Control, 52: 87-122.
88. Montague, R. (1974). Formal Philosophy: Selected Papers of Richard Montague. Edited with an introduction by R. H. Thomason. Yale University Press, New Haven, CT/London.
89. Muskens, R. (1995). Meaning and Partiality. CSLI and FOLLI, Stanford, CA.
90. Naur, P. (1960). Revised report on the algorithmic language ALGOL 60. Communications of the ACM, 3(5): 299-314.
91. Partee, B., ter Meulen, A., and Wall, R. (1990). Mathematical Methods in Linguistics. Kluwer, Dordrecht.
92. Pelletier, J. and Schubert, L. (1989). Generically speaking. In Chierchia, G., Partee, B. H., and Turner, R., editors, Properties, Types, and Meaning, volume 2, pp. 193-267. Kluwer, Dordrecht.
93. Pereira, F. (1990). Categorial semantics and scoping. Computational Linguistics, 16: 1-10.
94. Pollard, C. (2004). Type-logical HPSG. In Jäger, G., Monachesi, P., Penn, G., and Wintner, S., editors, Proceedings of the Ninth Annual Conference on Formal Grammar 2004, pp. 107-24,Nancy.
95. Presburger, M. (1929). Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. In Comptes Rendus du I Congrès de Mathématiciens des Pays Slaves, Warszawa, pp. 92-101.
96. Quine, W. V. O. (1960). Word and Object. MIT Press, Cambridge, MA.
97. Ranta, A. (1991). Intuitionistic categorial grammar. Linguistics and Philosophy, 14: 203-39.
98. Ranta, A. (1994). Type Theoretic Grammar. Oxford University Press, Oxford.
99. Reyle, U. (1993). Dealing with ambiguities by underspecification: Construction, representation and deduction. Journal of Semantics, 10: 123-79.
100. Sag, I. A. (2003). Coordination and underspecification. In Kim, J.-B. and Wechsler, S., editors, Proceedings of the Ninth International Conference on HPSG, pp. 267-91, Stanford, CA.
101. Seligman, J. and Moss, L. (1997). Situation theory. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pp. 239-309. Elsevier, North Holland, Amsterdam.
102. Shieber, S., Pereira, F., and Dalrymple, M. (1996). Interactions of scope and ellipsis. Linguistics and Philosophy, 19: 527-52.
103. Smith, J. M. (1984). An interpretation of Martin-Löf's Type Theory in a type-free theory of propositions. Journal of Symbolic Logic, 49: 730-53.
104. Smullyan, R. M. (1968). First-Order Logic. Springer-Verlag, Berlin.
105. Sundholm, G. (1989). Constructive generalised quantifiers. Synthese, 79: 1-12.
106. Thomason, R. (1980). A model theory for propositional attitudes. Linguistics and Philosophy, 4: 47-70.
107. Turner, R. (1987). A theory of properties. Journal of Symbolic Logic, 52(2): 455-72.
108. Turner, R. (1988). Properties, propositions, and semantic theory. In Proceedings of Formal Semantics and Computational Linguistics, Switzerland.
109. Turner, R. (1990). Truth and Modality for Knowledge Representation. Pitman, London.
110. Turner, R. (1992). Properties, propositions and semantic theory. In Rosner, M. and Johnson, R., editors, Computational Linguistics and Formal Semantics, Studies in Natural Language Processing, pp. 159-80. Cambridge University Press, Cambridge.
111. Turner, R. (1997). Types. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pp. 535-86. Elsevier, North Holland, Amsterdam.
112. Turner, R. (2005). Semantics and stratification. Journal of Logic and Computation, 15(2).
113. Zalta, E. N. (1988). Intensional Logic and theMetaphysics of Intensionality. MIT Press/Bradford Books, Cambridge, MA.