Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Lappin, Shalom; Fox, C; Pollard, C (2002)
Languages: English
Types: Article
Subjects: PHI
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] P. Aczel. Frege structures and the notions of proposition, truth and set. In Barwise, Keisler, and Keenan, editors, The Kleene Symposium, North Holland Studies in Logic, pages 31{39. North Holland, 1980.
    • [2] J Barwise and J. Etchemendy. Information, infons, and inference. In R. Cooper, K. Mukai, and J. Perry, editors, Situation Theory and Its Applications, volume 1, pages 33{78. CSLI, Stanford, CA, 1990.
    • [3] J. Barwise and J. Perry. Situations and Attitudes. MIT Press (Bradford Books), Cambridge, MA, 1983.
    • [4] R. Carnap. Meaning and Necessity. University of Chicago Press, Chicago, 1947.
    • [5] G. Chierchia and R. Turner. Semantics and property theory. Linguistics and Philosophy, 11:261{302, 1988.
    • [6] A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56{68, 1940.
    • [7] A. Church. The Calculi of Lambda Conversion. Princeton University Press, 1941.
    • [8] H.B Curry and R. Feys. Combinatory Logic, volume 1 of Studies in Logic. North Holland, 1958.
    • [9] H.B. Curry, R. Hindley, and J. Seldin. Combinatory Logic, volume 2 of Studies in Logic. North Holland, 1958.
    • [10] R. Davila-Perez. Semantics and parsing in intuitionistic categorial grammar. PhD thesis, University of Essex, 1995.
    • [11] Nick Davies. Towards a rst-order theory of reasoning agents. In Proceedings of the European Conference on Arti cial Intelligence (ECAI-90), 1990.
    • [12] C. Fox. The Ontology of Language. CSLI Lecture Notes. CSLI, Stanford, 2000.
    • [13] C. Fox and S. Lappin. A framework for the hyperintensional semantics of natural language with two implementations. In P. de Groote, G. Morrill, and C. Retore, editors, Logical Aspects of Computational Linguistics, Springer Lecture Notes in Arti cial Intelligence, pages 175{192. Springer-Verlag, Berlin and New York, 2001.
    • [14] C. Fox, S. Lappin, and C. Pollard. A higher-order intensional logic for ne-grained semantic representation. To appear in the proceedings of the Intensional Logic Workshop, ESSLLI, 2002.
    • [15] C.J. Fox. Discourse representation, type theory and property theory. In H. Bunt, R. Muskens, and G. Rentier, editors, Proceedings of the International Workshop on Computational Semantics, pages 71{80, ITK, Tilburg, 1994.
    • [16] P.C. Gilmore. An intensional type theory: Motivation and cut-elimination. Journal of Symbolic Logic, 66:383{400, 2001.
    • [17] R. Hindley and J. Seldin. Introduction to Combinators and the Lambda Calculus. London Mathematical Society Student Texts 1. Cambridge University Press, 1986.
    • [18] F. Landman. Pegs and alecs. In Towards a Theory of Information. The Status of Partial Objects in Semantics, Groningen-Amsterdam Studies in Semantics, pages 97{136. Foris, Dordrecht, 1986.
    • [19] S. Lappin and C. Pollard. A hyperintensional theory of natural language interpretation without indices or situations. ms., King's College, London and Ohio State University, 1999.
    • [20] R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven/London, 1974. Edited with an introduction by R.H. Thomason.
    • [21] R. Muskens. Meaning and Partiality. CSLI and FOLLI, Stanford, CA, 1995.
    • [22] A. Ranta. Intuitionistic categorial grammar. Linguistics and Philosophy, 14:203{ 239, 1991.
    • [23] A. Ranta. Type Theoretic Grammar. Oxford University Press, 1994.
    • [24] J. Seligman and L. Moss. Situation theory. In J. van Bentham and A. ter Meulen, editors, Handbook of Logic and Language. Elsvier, North Holland, Amsterdam, 1997.
    • [25] R. Thomason. A modeltheory for propositional attitudes. Linguistics and Philosophy, 4:47{70, 1980.
    • [26] R. Turner. A theory of properties. Journal of Symbolic Logic, 52(2):455{472, June 1987.
    • [27] R. Turner. Properties, propositions and semantic theory. In M. Rosner and R. Johnson, editors, Computational Linguistics and Formal Semantics, Studies in Natural Language Processing, pages 159{180. Cambridge University Press, Cambridge, 1992.
    • [28] R. Turner. Types. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 535{586. Elsevier, 1997.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article