Title:
Formal theory of quantifiers in natural language and their syllogisms
Authors:
- Vilem Novak
Published in:
(2024). ECMS 2024, 38th Proceedings
Edited by: Daniel Grzonka, Natalia Rylko, Grazyna Suchacka, Vladimir Mityushev, European Council for Modelling and Simulation.
DOI: http://doi.org/10.7148/2024
ISSN: 2522-2422 (ONLINE)
ISSN: 2522-2414 (PRINT)
ISSN: 2522-2430 (CD-ROM)
ISBN: 978-3-937436-84-5
ISBN: 978-3-937436-83-8 (CD) Communications of the ECMS Volume 38, Issue 1, June 2024, Cracow, Poland June 4th – June 7th, 2024
DOI:
https://doi.org/10.7148/2024-0007
Citation format:
Vilem novak (2024). Formal Theory of Quantifiers in Natural Language and Their Syllogisms, ECMS 2024, Proceedings Edited by: Daniel Grzonka, Natalia Rylko, Grazyna Suchacka, Vladimir Mityushev, European Council for Modelling and Simulation. doi:10.7148/2024-0007
Abstract:
Quantifiers occur in natural language as expressions using which we quantify a number of some objects in a given universe. A special class of them are intermediate quantifiers, for example, many, most, almost all, a few, a little and others. A detailed elaboration of the latter is provided in Peterson (2000). Their formal theory was established in (Novák, 2008). According to it, intermediate quantifiers form a special theory TIQ of higher-order fuzzy logic (fuzzy type theory) (FTT) with models based on the standard Łukasiewicz MVΔ-algebra.
Full text:
Download full text