Skip to main content
Article thumbnail
Location of Repository

Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing

By Shalom Lappin and C Fox



Topics: PHI
Year: 2003
OAI identifier:
Provided by: SAS-SPACE

Suggested articles


  1. (1940). A formulation of the simple theory of types.
  2. (2002). A higher-order, fine-grained logic for intensional semantics.
  3. (1989). Donkey pronouns unbound. Theoretical Linguistics, doi
  4. (1990). E-type pronouns and donkey anaphora,. Linguistics and Philosophy,
  5. (1994). E-type pronouns, i-sums, and donkey anaphora. Linguistics and Philosophy, doi
  6. (1974). Formal Philosophy: Selected Papers of Richard Montague. doi
  7. (1980). Frege structures and the notions of proposition, truth and set.
  8. (1993). From Discourse to Logic.
  9. (1989). Generically speaking.
  10. (1997). Information and impossibilities. The Notre Dame
  11. (1947). Meaning and Necessity.
  12. (1995). Meaning and Partiality. CSLI and FOLLI,
  13. (1982). Nominalisation and Montague grammar: a semantics without types for natural languages. Linguistics and Philosophy,
  14. (1988). Properties, propositions, and semantic theory.
  15. (2002). Relevance logic and natural language semantics.
  16. (1984). The Lambda Calculus: Its Syntax and Semantics,
  17. (1994). Type Theoretic Grammar. doi
  18. (1997). Types. In
  19. (1982). What is a model of the lambda calculus? Information and Control, doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.