{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:13:40Z","timestamp":1725808420457},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319088549"},{"type":"electronic","value":"9783319088556"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08855-6_36","type":"book-chapter","created":{"date-parts":[[2014,10,27]],"date-time":"2014-10-27T18:08:23Z","timestamp":1414433303000},"page":"355-364","source":"Crossref","is-referenced-by-count":0,"title":["On General Properties of Intermediate Quantifiers"],"prefix":"10.1007","author":[{"given":"Vil\u00e9m","family":"Nov\u00e1k","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petra","family":"Murinov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9934-4","volume-title":"An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof","author":"P. Andrews","year":"2002","unstructured":"Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)"},{"key":"36_CR2","doi-asserted-by":"publisher","first-page":"3425","DOI":"10.1016\/j.fss.2009.05.010","volume":"160","author":"A. Dvo\u0159\u00e1k","year":"2009","unstructured":"Dvo\u0159\u00e1k, A., Hol\u010dapek, M.: L-fuzzy quantifiers of the type \u23291\u232a determined by measures. Fuzzy Sets and Systems\u00a0160, 3425\u20133452 (2009)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR3","series-title":"STUDFUZZ","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-32503-4","volume-title":"Fuzzy Quantifiers: A Computational Theory","author":"I. Gl\u00f6ckner","year":"2006","unstructured":"Gl\u00f6ckner, I.: Fuzzy Quantifiers: A Computational Theory. STUDFUZZ, vol.\u00a0193. Springer, Berlin (2006)"},{"key":"36_CR4","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1016\/j.fss.2008.03.028","volume":"159","author":"M. Hol\u010dapek","year":"2008","unstructured":"Hol\u010dapek, M.: Monadic L-fuzzy quantifiers of the type \u23291 n , 1\u232a. Fuzzy Sets and Systems\u00a0159, 1811\u20131835 (2008)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR5","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","volume":"32","author":"P. Lindstr\u00f6m","year":"1966","unstructured":"Lindstr\u00f6m, P.: First order predicate logic with generalized quantifiers. Theoria\u00a032, 186\u2013195 (1966)","journal-title":"Theoria"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.fss.2011.07.004","volume":"186","author":"P. Murinov\u00e1","year":"2012","unstructured":"Murinov\u00e1, P., Nov\u00e1k, V.: A formal theory of generalized intermediate syllogisms. Fuzzy Sets and Systems\u00a0186, 47\u201380 (2012)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.fss.2013.05.006","volume":"242","author":"P. Murinov\u00e1","year":"2014","unstructured":"Murinov\u00e1, P., Nov\u00e1k, V.: Analysis of generalized square of opposition with intermediate quantifiers. Fuzzy Sets and Systems\u00a0242, 89\u2013113 (2014)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR8","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/S0165-0114(01)00104-X","volume":"124","author":"V. Nov\u00e1k","year":"2001","unstructured":"Nov\u00e1k, V.: Antonyms and linguistic quantifiers in fuzzy logic. Fuzzy Sets and Systems\u00a0124, 335\u2013351 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR9","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.fss.2004.03.027","volume":"149","author":"V. Nov\u00e1k","year":"2005","unstructured":"Nov\u00e1k, V.: On fuzzy type theory. Fuzzy Sets and Systems\u00a0149, 235\u2013273 (2005)","journal-title":"Fuzzy Sets and Systems"},{"issue":"22","key":"36_CR10","doi-asserted-by":"publisher","first-page":"2939","DOI":"10.1016\/j.fss.2008.02.023","volume":"159","author":"V. Nov\u00e1k","year":"2008","unstructured":"Nov\u00e1k, V.: A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Sets and Systems\u00a0159(22), 2939\u20132969 (2008)","journal-title":"Fuzzy Sets and Systems"},{"issue":"10","key":"36_CR11","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1016\/j.fss.2007.12.008","volume":"159","author":"V. Nov\u00e1k","year":"2008","unstructured":"Nov\u00e1k, V.: A formal theory of intermediate quantifiers. Fuzzy Sets and Systems\u00a0159(10), 1229\u20131246 (2008)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.fss.2012.03.006","volume":"205","author":"V. Nov\u00e1k","year":"2012","unstructured":"Nov\u00e1k, V.: Elements of model theory in higher order fuzzy logic. Fuzzy Sets and Systems\u00a0205, 101\u2013115 (2012)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR13","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1142\/9789814401531_0091","volume-title":"Quantitative Logic and Soft Computing","author":"V. Nov\u00e1k","year":"2012","unstructured":"Nov\u00e1k, V., Murinov\u00e1, P.: Intermediate quantifiers, natural language and human reasoning. In: Wang, G., Zhao, B., Li, Y. (eds.) Quantitative Logic and Soft Computing, pp. 684\u2013692. World Scientific, New Jersey (2012)"},{"key":"36_CR14","unstructured":"Peters, S., Westerst\u00e5hl, D.: Quantifiers in Language and Logic. Claredon Press, Oxford (2006)"},{"key":"36_CR15","unstructured":"Peterson, P.: Intermediate Quantifiers. Logic, linguistics, and Aristotelian semantics. Ashgate, Aldershot (2000)"},{"key":"36_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-009-1171-0_1","volume-title":"Handbook of Philosophical Logic","author":"D. Westerst\u00e5hl","year":"1989","unstructured":"Westerst\u00e5hl, D.: Quantifiers in formal and natural languages. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0IV, pp. 1\u2013131. D. Reidel, Dordrecht (1989)"}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08855-6_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,4]],"date-time":"2024-06-04T11:56:01Z","timestamp":1717502161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08855-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319088549","9783319088556"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08855-6_36","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}