LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

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.

Important!

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

CREATE AN ACCOUNT

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

    • Barendregt, Henk. 1984. The Lambda Calculus: Its Syntax and Semantics (vol. 103, Second edition). Amsterdam: North Holland.
    • Church, Alonzo. 1940. “A Formulation of the Simple Theory of Types”. Journal of Symbolic Logic 5:56-68.
    • Dalrymple, Mary, Stuart Shieber & Fernando Pereira. 1991. “Ellipsis and Higher-Order Unification”. Linguistics and Philosophy 14:399-452.
    • Fiengo, Robert & Robert May. 1994. Indices and Identity. Cambridge, Mass.: MIT Press.
    • Fitting, Melvin. 1996. First-Order Logic and Automated Theorem Proving. Berlin: Springer.
    • Fox, Chris, Shalom Lappin & Carl Pollard. 2002a. “First-Order Curry-Typed Logic for Natural Language Semantics”. Proceedings of the 7th International Workshop on Natural Language Understanding and Logic Programming ed. by S. Winter, 175- 192. Copenhagen: University of Copenhagen.
    • Fox, Chris, Shalom Lappin & Carl Pollard. 2002b. “Intensional First-Order Logic with Types”. Proceedings of the 7th Symposium for Logic and Language ed. by G. Alberti, K. Balough & P. Dekker, 47-56. Pecs, Hungary: Univ. of Pecs.
    • Fox, Chris, Shalom Lappin & Carl Pollard. 2002c. “A Higher-Order Fine-grained Logic for Intensional Semantics”. Proceedings of the 7th Symposium for Logic and Language ed. by G. Alberti, K. Balough & P. Dekker, 37-46. Pecs, Hungary: Univ. of Pecs.
    • Fox, Chris & Shalom Lappin. 2003. “Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing”. Proceedings of Formal Grammar 2003 ed. by G. P. G. Jaeger, P. Monachesi & S. Wintner, 89-102. Vienna: Technical University of Vienna.
    • Fox, Chris & Shalom Lappin. 2004. “An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics”. Logic Journal of the Interest Group in Pure and Applied Logics (IGPL), vol. 12. Oxford University Press.
    • Heim, Irene. 1990. “E-type Pronouns and Donkey Anaphora”. Linguistics and Philosophy 13:137-177.
    • Jeffrey, Richard. 1982. Formal Logic: Its Scope and Limits. New York: McGraw-Hill.
    • Kadmon, Nirit. 1990. “Uniqueness”. Linguistics and Philosophy 13:237-324.
    • Kamp, Hans & Uwe Reyle. 1993. From Discourse to Logic. Dordrecht: Kluwer.
    • Lappin, Shalom. 1989. “Donkey Pronouns Unbound”. Theoretical Linguistics 15:263- 286.
    • Lappin, Shalom. 1996. “The Interpretation of Ellipsis”. Handbook of Contemporary Semantic Theory ed. by S. Lappin, 145-175. Oxford: Blackwell.
    • Lappin, Shalom. 1999. “An HPSG Account of Antecedent Contained Ellipsis”. Fragments: Studies in Ellipsis and Gapping ed. by S. Lappin & E. Benmamoun, 68-97. New York: Oxford University Press.
    • Lappin, Shalom & N. Francez. 1994. “E-type Pronouns, i-Sums, and Donkey Anaphora”. Linguistics and Philosophy 17:391-428.
    • Meyer, Albert R. 1982. “What is a Model of the Lambda Calculus?” Information and Control 52:87-122.
    • Pelletier, Francis Jeffrey & Lenhart Schubert. 1989. “Generically Speaking”. Propteries, Types, and Meaning (vol. 2) ed. by G. Chiercihia, B. Partee & R. Turner, 141- 167. Dordrecht: Kluwer.
    • Ranta, Aarne. 1994. Type Theoretic Grammar. Oxford: Oxford University Press.
    • Shieber, Stuart, Fernando Pereira & Mary Dalrymple. 1996. “Interactions of Scope and Ellipsis”. Linguistics and Philosophy 19:527-552.
    • Sundholm, Goeran. 1989. “Constructive Generalised Quantifiers”. Synthese 79:1-12.
    • Turner, Raymond. 1997. “Types”. Handbook of Logic and Language ed. by J. van Benthem & A. ter Meulen, 535-586. Amsterdam: Elsevier.
    • van Benthem, Johan. 1991. Language in Action. Amsterdam: Amsterdam.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article