{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:07:41Z","timestamp":1725746861224},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407680"},{"type":"electronic","value":"9783642407697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40769-7_17","type":"book-chapter","created":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T05:37:22Z","timestamp":1377668242000},"page":"186-197","source":"Crossref","is-referenced-by-count":3,"title":["Semantic Interpretation of Intermediate Quantifiers and Their Syllogisms"],"prefix":"10.1007","author":[{"given":"Petra","family":"Murinov\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vil\u00e9m","family":"Nov\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_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":"17_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-valued Reasoning","author":"R.L.O. Cignoli","year":"2000","unstructured":"Cignoli, R.L.O., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)"},{"key":"17_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"17_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                    n\n                  , 1\u232a. Fuzzy Sets and Systems\u00a0159, 1811\u20131835 (2008)","journal-title":"Fuzzy Sets and Systems"},{"key":"17_CR5","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":"17_CR6","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1016\/B978-044481714-3\/50020-5","volume-title":"Handbook of Logic and Language","author":"E.L. Keenan","year":"1997","unstructured":"Keenan, E.L.: Quantifiers in formal and natural languages. In: Handbook of Logic and Language, pp. 837\u2013893. Elsevier, Amsterdam (1997)"},{"key":"17_CR7","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.: A Formal Theory of Generalized Intermediate Syllogisms. Fuzzy Sets and Systems\u00a0186, 47\u201380 (2012)","journal-title":"Fuzzy Sets and Systems"},{"key":"17_CR8","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":"17_CR9","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":"17_CR10","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\u20131256 (2008)","journal-title":"Fuzzy Sets and Systems"},{"issue":"22","key":"17_CR11","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.: EQ-algebra-based fuzzy type theory and its extension. Fuzzy Sets and Systems\u00a0159(22), 2939\u20132969 (2008)","journal-title":"Fuzzy Sets and Systems"},{"key":"17_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":"17_CR13","unstructured":"Peterson, P.: Intermediate quantifiers, Logic, linguistics, Aristotelian semantics. Ahgate, Aldershot (2000)"},{"key":"17_CR14","volume-title":"Quantifiers in Language and Logic","author":"S. Peters","year":"2006","unstructured":"Peters, S., Westerst\u00e5hl, D.: Quantifiers in Language and Logic. Claredon Press, Oxford (2006)"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1016\/B978-044481714-3\/50020-5","volume-title":"Handbook of Logic and Language","author":"E.L. Keenan","year":"1997","unstructured":"Keenan, E.L., Westerst\u00e5hl, D.: Quantifiers in formal and natural languages. In: Handbook of Logic and Language, pp. 837\u2013893. Elsevier, Amsterdam (1997)"}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40769-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T23:51:18Z","timestamp":1558050678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40769-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407680","9783642407697"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40769-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}