Skip to main content
SpringerLink
Log in

Semantic Interpretation of Intermediate Quantifiers and Their Syllogisms

  • Conference paper
Flexible Query Answering Systems (FQAS 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8132))

Included in the following conference series:

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

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. Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)

    Book  MATH  Google Scholar 

  3. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)

    Book  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  5. 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  MathSciNet  MATH  Google Scholar 

  6. Keenan, E.L.: Quantifiers in formal and natural languages. In: Handbook of Logic and Language, pp. 837–893. Elsevier, Amsterdam (1997)

    Chapter  Google Scholar 

  7. Murinová, P.: A Formal Theory of Generalized Intermediate Syllogisms. Fuzzy Sets and Systems 186, 47–80 (2012)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  11. Novák, V.: EQ-algebra-based fuzzy type theory and its extension. Fuzzy Sets and Systems 159(22), 2939–2969 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  12. Novák, V.: Elements of Model Theory in Higher Order Fuzzy Logic. Fuzzy Sets and Systems 205, 101–115 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Peterson, P.: Intermediate quantifiers, Logic, linguistics, Aristotelian semantics. Ahgate, Aldershot (2000)

    Google Scholar 

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

    Google Scholar 

  15. Keenan, E.L., Westerståhl, D.: Quantifiers in formal and natural languages. In: Handbook of Logic and Language, pp. 837–893. Elsevier, Amsterdam (1997)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Petra Murinová & Vilém Novák

Authors
  1. Petra Murinová
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vilém Novák
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electronic Systems, Aalborg University, 6700, Esbjerg, Denmark

    Henrik Legind Larsen

  2. Department of Computer Science and Artificial Intelligence, University of Granada, 18071, Granada, Spain

    Maria J. Martin-Bautista

  3. Department of Computer Science and Arificial IntelIigence, University of Granada, 18071, Granada, Spain

    María Amparo Vila

  4. CBIT, Roskilde University, Universitetsvej 1, 4000, Roskilde, Denmark

    Troels Andreasen

  5. CBIT, Roskilde University, 4000, Roskilde, Denmark

    Henning Christiansen

Rights and permissions

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

Publish with us

Policies and ethics

Search

Navigation