Abstract
In this paper, we extend the model of intermediate quantifiers by three new ones, namely “a few, a little” and “several”. We proved some of the fundamental properties of these quantifiers and relations to the other ones. We also demonstrate that they naturally fall in the generalized square of opposition.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
To improve readability of formulas, we quite often write the type only once in the beginning of the formula and then omit it. Alternatively, we write \(A\in { Form}_{\alpha }\) to emphasize that A is a formula of type \(\alpha \) and do not repeat its type again.
- 2.
The special (derived) formula \(\varUpsilon _{oo} A_o\) says that \(A_o\) in every model has a non-zero truth value and \(\hat{\varUpsilon }_{oo} A_o\) that \(A_o\) has a general truth value (i.e., neither false 0, nor true 1).
- 3.
Recall that \( \mathop {\pmb { \& }}\nolimits \) is interpreted by Łukasiewicz conjunction \(\otimes \) and \(\mathop {\pmb {\nabla }}\) is interpreted by Łukasiewicz disjunction \(\oplus \).
References
Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)
Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (2000)
Murinová, P., Novák, V.: A formal theory of generalized intermediate syllogisms. Fuzzy Sets Syst. 186, 47–80 (2013)
Murinová, P., Novák, V.: Analysis of generalized square of opposition with intermediate quantifiers. Fuzzy Sets Syst. 242, 89–113 (2014)
Murinová, P., Novák, V.: The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of “Many”. Fuzzy Sets Syst. (Submitted)
Novák, V.: A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Sets Syst. 159(22), 2939–2969 (2008)
Novák, V.: A formal theory of intermediate quantifiers. Fuzzy Sets Syst. 159(10), 1229–1246 (2008)
Novák, V., Perfilieva, I., Dvořák, A.: Insight into Fuzzy Modeling. Wile, Hoboken (2016)
Novák, V., Perfilieva, I., Močkoř, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Boston (1999)
Peterson, P.L.: On the logic of “few”, “many” and “most”. Notre Dame J. Form. Log. 20, 155–179 (1979)
Thompson, B.E.: Syllogisms using “few”, “many” and “most”. Notre Dame J. Form. Log. 23, 75–84 (1982)
Acknowledgements
The work was supported from ERDF/ESF by the project “Centre for the development of Artificial Intelligence Methods for the Automotive Industry of the region” No. CZ.02.1.01/0.0/0.0/17-049/0008414.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Novák, V., Murinová, P. (2019). A Formal Model of the Intermediate Quantifiers “A Few”, “Several” and “A Little”. In: Kearfott, R., Batyrshin, I., Reformat, M., Ceberio, M., Kreinovich, V. (eds) Fuzzy Techniques: Theory and Applications. IFSA/NAFIPS 2019 2019. Advances in Intelligent Systems and Computing, vol 1000. Springer, Cham. https://doi.org/10.1007/978-3-030-21920-8_39
Download citation
DOI: https://doi.org/10.1007/978-3-030-21920-8_39
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21919-2
Online ISBN: 978-3-030-21920-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)