Skip to main content
SpringerLink
Log in

On General Properties of Intermediate Quantifiers

  • Conference paper
Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2014)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 443))

  • 780 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)

    Book  Google Scholar 

  2. Dvořák, A., Holčapek, M.: L-fuzzy quantifiers of the type 〈1〉 determined by measures. Fuzzy Sets and Systems 160, 3425–3452 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  3. Glöckner, I.: Fuzzy Quantifiers: A Computational Theory. STUDFUZZ, vol. 193. Springer, Berlin (2006)

    Google Scholar 

  4. Holčapek, M.: Monadic L-fuzzy quantifiers of the type 〈1n, 1〉. Fuzzy Sets and Systems 159, 1811–1835 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  5. Lindström, P.: First order predicate logic with generalized quantifiers. Theoria 32, 186–195 (1966)

    MATH  MathSciNet  Google Scholar 

  6. Murinová, P., Novák, V.: A formal theory of generalized intermediate syllogisms. Fuzzy Sets and Systems 186, 47–80 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  7. Murinová, P., Novák, V.: Analysis of generalized square of opposition with intermediate quantifiers. Fuzzy Sets and Systems 242, 89–113 (2014)

    Article  MathSciNet  Google Scholar 

  8. Novák, V.: Antonyms and linguistic quantifiers in fuzzy logic. Fuzzy Sets and Systems 124, 335–351 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  9. Novák, V.: On fuzzy type theory. Fuzzy Sets and Systems 149, 235–273 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  10. Novák, V.: A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Sets and Systems 159(22), 2939–2969 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  11. Novák, V.: A formal theory of intermediate quantifiers. Fuzzy Sets and Systems 159(10), 1229–1246 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  12. Novák, V.: Elements of model theory in higher order fuzzy logic. Fuzzy Sets and Systems 205, 101–115 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  13. 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)

    Google Scholar 

  14. Peters, S., Westerståhl, D.: Quantifiers in Language and Logic. Claredon Press, Oxford (2006)

    Google Scholar 

  15. Peterson, P.: Intermediate Quantifiers. Logic, linguistics, and Aristotelian semantics. Ashgate, Aldershot (2000)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Research and Applications of Fuzzy Modeling Centre of Excellence IT4Innovations, University of Ostrava, 30 dubna 22, 701 03, Ostrava 1, Czech Republic

    Vilém Novák & Petra Murinová

Authors
  1. Vilém Novák
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Petra Murinová
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University Montpellier 2, LIRMM - CNRS UMR 5506, 161, Rue Ada, 34392, Montpellier Cedex 5, France

    Anne Laurent

  2. LIRMM, UMR CNRS/Universite Montpellier II, 161 rue Ada, 34392, Montpellier cedex 5, France

    Olivier Strauss

  3. UPMC Univ. Paris 06, CNRS UMR 7606, LIP6, F-75005, Paris, France

    Bernadette Bouchon-Meunier

  4. Dept. of Information Systems, Iona College, 710 North Ave, 10801, New Rochelle, NY, USA

    Ronald R. Yager

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation