Abstract
This paper is a contribution to the formal theory of intermediate quantifiers (linguistic expressions such as most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of). The latter concept was informally introduced by P. L. Peterson in his book and formalized in the frame of higher-order fuzzy logic by V. Novák. The main goal of this paper is to demonstrate how our theory works in an intended model. We will also show, how validity of generalized intermediate syllogisms can be semantically verified.
The paper has been supported by the European Regional Development Fund in the IT4Innovations Centre of Excellence project (CZ.1.05/1.1.00/02.0070).
This is a preview of subscription content, log in via an institution to check access.
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)
Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Holčapek, M.: Monadic L-fuzzy quantifiers of the type 〈1n, 1〉. Fuzzy Sets and Systems 159, 1811–1835 (2008)
Dvořák, A., Holčapek, M.: L-fuzzy Quantifiers of the Type 〈1〉 Determined by Measures. Fuzzy Sets and Systems 160, 3425–3452 (2009)
Keenan, E.L.: Quantifiers in formal and natural languages. In: Handbook of Logic and Language, pp. 837–893. Elsevier, Amsterdam (1997)
Murinová, P.: A Formal Theory of Generalized Intermediate Syllogisms. Fuzzy Sets and Systems 186, 47–80 (2012)
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–1256 (2008)
Novák, V.: EQ-algebra-based fuzzy type theory and its extension. Fuzzy Sets and Systems 159(22), 2939–2969 (2008)
Novák, V.: Elements of Model Theory in Higher Order Fuzzy Logic. Fuzzy Sets and Systems 205, 101–115 (2012)
Peterson, P.: Intermediate quantifiers, Logic, linguistics, Aristotelian semantics. Ahgate, Aldershot (2000)
Peters, S., Westerståhl, D.: Quantifiers in Language and Logic. Claredon Press, Oxford (2006)
Keenan, E.L., Westerståhl, D.: Quantifiers in formal and natural languages. In: Handbook of Logic and Language, pp. 837–893. Elsevier, Amsterdam (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Murinová, P., Novák, V. (2013). Semantic Interpretation of Intermediate Quantifiers and Their Syllogisms. In: Larsen, H.L., Martin-Bautista, M.J., Vila, M.A., Andreasen, T., Christiansen, H. (eds) Flexible Query Answering Systems. FQAS 2013. Lecture Notes in Computer Science(), vol 8132. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40769-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-40769-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40768-0
Online ISBN: 978-3-642-40769-7
eBook Packages: Computer ScienceComputer Science (R0)