{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:51:25Z","timestamp":1725799885980},"reference-count":0,"publisher":"ECMS","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,7]]},"abstract":"<jats:p>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\u00e1k, 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 \u0141ukasiewicz MV\u0394-algebra.<\/jats:p>","DOI":"10.7148\/2024-0007","type":"proceedings-article","created":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T15:15:37Z","timestamp":1721834137000},"page":"7-10","source":"Crossref","is-referenced-by-count":0,"title":["Formal theory of quantifiers in natural language and their syllogisms"],"prefix":"10.7148","author":[{"given":"Vilem","family":"Novak","sequence":"first","affiliation":[]}],"member":"4144","published-online":{"date-parts":[[2024,6,7]]},"event":{"name":"38th ECMS International Conference on Modelling and Simulation"},"container-title":["ECMS 2024 Proceedings edited by Daniel Grzonka, Natalia Rylko, Grazyna Suchacka, Vladimir Mityushev"],"original-title":[],"deposited":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T15:15:42Z","timestamp":1721834142000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scs-europe.net\/dlib\/2024\/2024-0007.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.7148\/2024-0007","relation":{},"subject":[],"published":{"date-parts":[[2024,6,7]]}}}