Proof-Theoretic Reconstruction of Generalized Quantifiers

[1]  Francesco Paoli,et al.  Implicational Paradoxes and the Meaning of Logical Constants , 2007 .

[2]  Menno Lievers,et al.  Two Versions of the Manifestation Argument , 1998, Synthese.

[3]  Edward L. Keenan,et al.  A semantic characterization of natural language determiners , 1986 .

[4]  Jaroslav Peregrin,et al.  LANGUAGE AND ITS MODELS: IS MODEL THEORY A THEORY OF SEMANTICS? , 1997 .

[5]  Michael Moortgat Categorial Type Logics , 1997, Handbook of Logic and Language.

[6]  Sjaak de Mey 'Only' as a Determiner and as a Generalized Quantifier , 1991, J. Semant..

[7]  Kosta Dosen,et al.  Logical Constants as Punctuation Marks , 1989, Notre Dame J. Formal Log..

[8]  John Nathan,et al.  The Sea of Language , 1998 .

[9]  N. Tennant RULE-CIRCULARITY AND THE JUSTIFICATION OF DEDUCTION , 2005 .

[10]  R. Zuber A class of non-conservative determiners in Polish , 2004 .

[11]  R. Brandom Articulating Reasons: An Introduction to Inferentialism , 2000 .

[12]  L. Matthewson,et al.  Universals in semantics , 2008 .

[13]  Nissim Francez,et al.  Proof-theoretic semantics for a natural language fragment , 2010 .

[14]  Frank Pfenning,et al.  A judgmental reconstruction of modal logic , 2001, Mathematical Structures in Computer Science.

[15]  Arthur N. Prior,et al.  The Runabout Inference-Ticket , 1960 .

[16]  Lisa Matthewson,et al.  Quantification and the Nature of Crosslinguistic Variation , 2001 .

[17]  E. Keenan The Definiteness Effect: Semantics or Pragmatics? , 2003 .

[18]  Edward L. Keenan,et al.  Natural language, sortal reducibility and generalized quantifiers , 1993, Journal of Symbolic Logic.

[19]  Nissim Francez,et al.  A Note on Harmony , 2012, J. Philos. Log..

[20]  E. Herburger Focus and Weak Noun Phrases , 1997 .

[21]  M. Dummett The interpretation of Frege's philosophy , 1981 .

[22]  Itamar Francez Quantifed possessives and direct compositionality , 2009 .

[23]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[24]  Nissim Francez,et al.  Proof-Theoretic Semantics for Subsentential Phrases , 2010, Stud Logica.

[25]  Nissim Francez,et al.  Bilateralism in Proof-Theoretic Semantics , 2014, J. Philos. Log..

[26]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[27]  Michael Dummett,et al.  The logical basis of metaphysics , 1991 .

[28]  I. Rumfitt,et al.  Yes and no , 2000 .