Journal of Philosophical Logic 27 (6):587-601 (1998)
Logics in which a relation R is semantically incomplete in a particular universe E, i.e. the union of the extension of R with its anti-extension does not exhaust the whole universe E, have been studied quite extensively in the last years. (Cf. van Benthem (1985), Blamey (1986), and Langholm (1988), for partial predicate logic; Muskens (1996), for the applications of partial predicates to formal semantics, and Doherty (1996) for applications to modal logic.) This is not so with semantically incomplete generalized quantifiers which constitute the subject of the present paper. The only systematic study of these quantifiers from a purely logical point of view, is, to the best of my knowledge, that by van Eijck (1995). We shall take here a different approach than that of van Eijck and mention some of the abstract properties of the resulting logic. Finally we shall prove that the two approaches are interdefinable
|Keywords||generalized quantifiers partiality semantic incompleteness|
|Categories||categorize this paper)|
References found in this work BETA
Henkin Quantifiers and Complete Problems.A. Blass & Y. Gurevich - 1986 - Annals of Pure and Applied Logic 32 (1):1--16.
Citations of this work BETA
No citations found.
Similar books and articles
Aristotelian Syllogisms and Generalized Quantifiers.Dag Westerståhl - 1989 - Studia Logica 48 (4):577-585.
Partially-Ordered (Branching) Generalized Quantifiers: A General Definition.Gila Sher - 1997 - Journal of Philosophical Logic 26 (1):1-43.
Computational Complexity of Some Ramsey Quantifiers in Finite Models.Marcin Mostowski & Jakub Szymanik - 2007 - Bulletin of Symbolic Logic 13:281--282.
Generalized Quantifiers and Modal Logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Partially Ordered Quantifiers Vs. Partially Ordered Ideas.Jaakko Hintikka - 1976 - Dialectica 30 (1):89--99.
Generalized Quantification as Substructural Logic.Natasha Alechina & Michiel van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006-1044.
Added to index2009-01-28
Total downloads19 ( #259,886 of 2,171,976 )
Recent downloads (6 months)1 ( #326,556 of 2,171,976 )
How can I increase my downloads?