Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation