Topic: GENERAL LOGIC
Scope Dominance with Upward Monotone Quantifiers
By Alon Altman, Ya'acov Peterzil & Yoad WinterWe give a complete characterization of the class of upward monotone generalized quantifiers Q1 and Q2 over countable domains that satisfy the scheme Q1xQ2yφ→Q2yQ1xφ.
This generalizes the characterization of such quantifiers over finite domains, according to which the scheme holds iff Q1 is ∃ or Q2 is ∀ (excluding trivial cases). Our result shows that in innite domains, there are more general types of quantifiers that support these entailments.Published in Journal of Logic, Language and Information, Volume 14, Number 4, October 2005, pp. 445-455(11)
Posted by Tony Marmo
at 00:26 GMT
Updated: Saturday, 25 November 2006 19:51 GMT