icon
Image from Google Jackets
Image from OpenLibrary

Quantifiers in language and logic / Stanley Peters, Dag Westerståhl.

By: Contributor(s): Publication details: New York : Oxford University Press, 2006.Description: xix, 528 ; 24 cmISBN:
  • 9780199291250
  • 019929125X (hbk.)
Subject(s): DDC classification:
  • 23 425 P481
LOC classification:
  • P299.Q3 P48 2006
Other classification:
  • 17.11
  • 31.10
Contents:
A brief history of quantification -- The emergernce of generalized quanitifiers in modern logic -- Type [1] quantifiers of natural and logical languages -- Type [1, 1] quantifiers of natural language -- Monotone quantifiers -- Symmetry and other relational properties of type [1, 1] quantifiers -- Possessive quantifiers -- Exceptive quantifiers -- Which quantifiers are logical? -- Some polyadic quantifiers of natural language -- The concept of expressiveness -- Formalization : expressibility, definability, compositionality -- Definability and undefinability in logical languages : tools for the monadic case -- Applications to monadic definability -- EF-tools for polyadic quantifiers.
Item type: كتاب
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode
كتاب كتاب Central Library المكتبة المركزية 425 P481 (Browse shelf(Opens below)) Available قاعة الكتب

Includes bibliographical references (p. [511]-520) and index.

A brief history of quantification -- The emergernce of generalized quanitifiers in modern logic -- Type [1] quantifiers of natural and logical languages -- Type [1, 1] quantifiers of natural language -- Monotone quantifiers -- Symmetry and other relational properties of type [1, 1] quantifiers -- Possessive quantifiers -- Exceptive quantifiers -- Which quantifiers are logical? -- Some polyadic quantifiers of natural language -- The concept of expressiveness -- Formalization : expressibility, definability, compositionality -- Definability and undefinability in logical languages : tools for the monadic case -- Applications to monadic definability -- EF-tools for polyadic quantifiers.