Switch to: Citations

Add references

You must login to add references.
  1. On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.
    Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
  • Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.