Abstract
In this paper, we will first discuss fuzzy generalized quantifiers and their formalization in the higher-order fuzzy logic (the fuzzy type theory). Then we will briefly introduce a special model of intermediate quantifiers, classify them as generalized fuzzy ones and prove that they have the general properties of isomorphism invariance, extensionality and conservativity. These properties are characteristic for the quantifiers of natural language.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)
Dvořák, A., Holčapek, M.: L-fuzzy quantifiers of the type 〈1〉 determined by measures. Fuzzy Sets and Systems 160, 3425–3452 (2009)
Glöckner, I.: Fuzzy Quantifiers: A Computational Theory. STUDFUZZ, vol. 193. Springer, Berlin (2006)
Holčapek, M.: Monadic L-fuzzy quantifiers of the type 〈1n, 1〉. Fuzzy Sets and Systems 159, 1811–1835 (2008)
Lindström, P.: First order predicate logic with generalized quantifiers. Theoria 32, 186–195 (1966)
Murinová, P., Novák, V.: A formal theory of generalized intermediate syllogisms. Fuzzy Sets and Systems 186, 47–80 (2012)
Murinová, P., Novák, V.: Analysis of generalized square of opposition with intermediate quantifiers. Fuzzy Sets and Systems 242, 89–113 (2014)
Novák, V.: Antonyms and linguistic quantifiers in fuzzy logic. Fuzzy Sets and Systems 124, 335–351 (2001)
Novák, V.: On fuzzy type theory. Fuzzy Sets and Systems 149, 235–273 (2005)
Novák, V.: A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Sets and Systems 159(22), 2939–2969 (2008)
Novák, V.: A formal theory of intermediate quantifiers. Fuzzy Sets and Systems 159(10), 1229–1246 (2008)
Novák, V.: Elements of model theory in higher order fuzzy logic. Fuzzy Sets and Systems 205, 101–115 (2012)
Novák, V., Murinová, P.: Intermediate quantifiers, natural language and human reasoning. In: Wang, G., Zhao, B., Li, Y. (eds.) Quantitative Logic and Soft Computing, pp. 684–692. World Scientific, New Jersey (2012)
Peters, S., Westerståhl, D.: Quantifiers in Language and Logic. Claredon Press, Oxford (2006)
Peterson, P.: Intermediate Quantifiers. Logic, linguistics, and Aristotelian semantics. Ashgate, Aldershot (2000)
Westerståhl, D.: Quantifiers in formal and natural languages. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. IV, pp. 1–131. D. Reidel, Dordrecht (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Novák, V., Murinová, P. (2014). On General Properties of Intermediate Quantifiers. In: Laurent, A., Strauss, O., Bouchon-Meunier, B., Yager, R.R. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2014. Communications in Computer and Information Science, vol 443. Springer, Cham. https://doi.org/10.1007/978-3-319-08855-6_36
Download citation
DOI: https://doi.org/10.1007/978-3-319-08855-6_36
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08854-9
Online ISBN: 978-3-319-08855-6
eBook Packages: Computer ScienceComputer Science (R0)