Curry Typing, Polymorphism, and Fine‐Grained Intensionality

[1]  Staffan Larsson,et al.  A Probabilistic Rich Type Theory for Semantic Interpretation , 2014, EACL 2014.

[2]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[3]  Yiannis N. Moschovakis,et al.  A Logical Calculus of Meaning and Synonymy , 2006 .

[4]  Nissim Francez,et al.  E-type pronouns, i-sums, and donkey anaphora , 1994 .

[5]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.

[6]  Lucila Ohno-Machado,et al.  Natural language processing: an introduction , 2011, J. Am. Medical Informatics Assoc..

[7]  Johan Bos,et al.  Is there a place for logic in recognizing textual entailment , 2013, LILT.

[8]  Peter Sutton.  Vagueness, communication, and semantic information , 2013 .

[9]  Angelika Kratzer,et al.  Situations in Natural Language Semantics , 2007 .

[10]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[11]  R. Cooper.  Type Theory and Semantics in Flux , 2012 .

[12]  Pavel Tichý,et al.  The Foundations of Frege's Logic , 1988 .

[13]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[14]  Daniel Lassiter,et al.  Vagueness as Probabilistic Linguistic Knowledge , 2009, ViC.

[15]  Shalom Lappin,et al.  An Intensional Parametric Semantics For Vague Quantifiers , 2000 .

[16]  Dag Westerståhl,et al.  Generalized Quantifiers in Natural Language Semantics , 2015 .

[17]  I. Heim.  E-Type pronouns and donkey anaphora , 1990 .

[18]  Christopher D. Manning,et al.  Probabilistic Syntax , 2002 .

[19]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[20]  van Jan Eijck,et al.  Probabilistic Semantics for Natural Language , 2014 .

[21]  Marie Duzí,et al.  Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic , 2010, Logic, Epistemology, and the Unity of Science.

[22]  Reinhard Muskens,et al.  Sense and the Computation of Reference , 2005 .

[23]  Raymond Turner.  Chapter 9 – Types , 1997 .

[24]  Shalom Lappin,et al.  Linguistic Nativism and the Poverty of the Stimulus , 2011 .

[25]  Patrick Suppes,et al.  Approaches to Natural Language , 1973 .

[26]  Daniel Lassiter,et al.  Adjectival Modification and Gradation , 2015 .

[27]  Dag Westerståhl,et al.  Generalized Quantifiers in Linguistics and Logic , 1997, Handbook of Logic and Language.

[28]  Noah D. Goodman,et al.  Probabilistic Semantics and Pragmatics: Uncertainty in Language and Thought , 2015 .

[29]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[30]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[31]  Daniel Gallin,et al.  Intensional and Higher-Order Modal Logic , 1975 .

[32]  Saul A. Kripke,et al.  Semantical Considerations on Modal Logic , 2012 .

[33]  Albert R. Meyer,et al.  What is a Model of the Lambda Calculus? , 1982, Inf. Control..

[34]  Chris Fox,et al.  Expressiveness and Complexity in Underspecified Semantics , 2010 .

[35]  Chris Fox,et al.  A Higher-Order Fine-Grained Logic for Intensional Semantics , 2002 .

[36]  Richmond H. Thomason,et al.  A model theory for propositional attitudes , 1980 .

[37]  D. Edgington.  Vagueness by degrees , 1997 .

[38]  Robin Cooper,et al.  Type Theory with Records for Natural Language Semantics , 2015 .

[39]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[40]  Thomas Augustin,et al.  Foundations of Probability , 2011, International Encyclopedia of Statistical Science.

[41]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[42]  Shalom Lappin,et al.  An Operational Approach to Fine-Grained Intensionality , 2012 .

[43]  Chris Fox,et al.  Type-theoretic logic with an operational account of intensionality , 2013, Synthese.

[44]  Rudolf Carnap,et al.  Meaning and Necessity , 1947 .

[45]  Alfréd Rényi,et al.  Foundations of Probability , 1971 .