Switch to: References

Add citations

You must login to add citations.
  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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates.Paulo Veloso & Sheila Veloso - 2005 - Logic Journal of the IGPL 13 (6):717-728.
    Logics for ‘generally’ were introduced for handling assertions with vague notions, by non-standard generalized quantifiers, and to reason qualitatively about them . Filter logic is intended to address ‘most’. Here, we show that filter logic can be faithfully embedded into a classical first-order theory of certain predicates, called compatible. We also use representative predicates to enable elimination of the generalized quantifier. These devices permit using classical first-order methods to reason about consequence in filter logic and help clarifying the role of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation