02144301

j

02144301 Veloso, Paulo A.S. Veloso, Sheila R.M. Functional interpretation of logics for `generally'. Log. J. IGPL 12, No. 6, 627-640 (2004). 2004 Oxford University Press, Oxford EN theorem proving vague notions generalized quantifier qualitative reasoning functional interpretation

doi:10.1093/jigpal/12.6.627

Summary: Logics for `generally' are intended to express some vague notions, such as `generally', `several', `many', `most', etc., by means of the new generalized quantifier $\nabla$ and to reason about assertions with `generally' (important issues in qualitative reasoning). We introduce the idea of functional interpretation for `generally' and show that representative functions (akin to Skolem functions) enable elimination of $\nabla$ and reduce consequence to classical theories. Thus, one can use proof procedures and theorem provers for classical first-order logic to reason about assertions involving `generally'.