First-Order Curry-Typed Logic for Natural Language Semantics

Article English OPEN
Lappin, Shalom ; Fox, C ; Pollard, C (2002)
  • Subject: PHI

Article
  • References (28)
    28 references, page 1 of 3

    [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.

  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    3
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    SAS-SPACE - IRUS-UK 0 3
Share - Bookmark