{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:25:34Z","timestamp":1762323934012},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2016,4,12]],"date-time":"2016-04-12T00:00:00Z","timestamp":1460419200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s11787-016-0146-z","type":"journal-article","created":{"date-parts":[[2016,4,14]],"date-time":"2016-04-14T10:21:33Z","timestamp":1460629293000},"page":"339-357","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Syllogisms and 5-Square of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic"],"prefix":"10.1007","volume":"10","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","published-online":{"date-parts":[[2016,4,12]]},"reference":[{"key":"146_CR1","doi-asserted-by":"crossref","first-page":"54","DOI":"10.4304\/jcp.2.5.54-66","volume":"2","author":"M. Afshar","year":"2007","unstructured":"Afshar M., Dartnell C., Luzeaux D., Sallantin J., Tognetti Y.: Aristotle\u2019s square revisited to frame discovery science. J. Comput. 2, 54\u201366 (2007)","journal-title":"J. Comput."},{"key":"146_CR2","doi-asserted-by":"crossref","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":"146_CR3","first-page":"218","volume":"10","author":"J.Y. B\u00e9ziau","year":"2003","unstructured":"B\u00e9ziau J.Y.: New light on the square of oppositions and its nameless corner. Logical Invest. 10, 218\u2013233 (2003)","journal-title":"Logical Invest."},{"key":"146_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11787-012-0046-9","volume":"6","author":"J.Y. B\u00e9ziau","year":"2012","unstructured":"B\u00e9ziau J.Y.: The power of the hexagon. Logica Universalis 6, 1\u201343 (2012)","journal-title":"Logica Universalis"},{"key":"146_CR5","unstructured":"B\u00e9ziau, J.Y., Gan-Krzywoszy\u0144ska, K.: Handbook of abstracts of the 2nd World Congress on the Square of Opposition. Corte, Corsica, June 17\u201320"},{"key":"146_CR6","unstructured":"B\u00e9ziau, J.Y., Gan-Krzywoszy\u0144ska, K.: Handbook of abstracts of the 3nd World Congress on the Square of Opposition. Beirut, Lebanon, June 26\u201330"},{"key":"146_CR7","unstructured":"B\u00e9ziau, J.Y., Gan-Krzywoszy\u0144ska, K.: Handbook of abstracts of the 4nd World Congress on the Square of Opposition. Roma, Vatican, May 5\u20139"},{"key":"146_CR8","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1111\/j.1755-2567.1953.tb01013.x","volume":"19","author":"R. Blanch\u00e9","year":"1953","unstructured":"Blanch\u00e9 R.: Sur l\u2019opposition des concepts. Theoria 19, 89\u2013130 (1953)","journal-title":"Theoria"},{"key":"146_CR9","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1305\/ndjfl\/1093870683","volume":"25","author":"M. Brown","year":"1984","unstructured":"Brown M.: Generalized quantifiers and the square of opposition. Notre Dame J. Formal Logic 25, 303\u2013322 (1984)","journal-title":"Notre Dame J. Formal Logic"},{"key":"146_CR10","doi-asserted-by":"crossref","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":"146_CR11","doi-asserted-by":"crossref","unstructured":"Ciucci, D., Dubois, D., Prade, H.: Oppositions in rough set theory, In: Li, T., Nguyen, H.S., Wang, G., Grzymala-Busse, J.W., Janicki, R., Hassanien, A.E., Yu H. (eds.) Proc. 7th Int. Conf. on Rough Sets and Knowledge Technology (RSKT\u201912), Chengdu, Aug. 17\u201320, LNCS, vol. 7414, pp. 504\u2013513 (2012)","DOI":"10.1007\/978-3-642-31900-6_62"},{"key":"146_CR12","doi-asserted-by":"crossref","unstructured":"Ciucci, D., Dubois, D., Prade, H., The structure of oppositions in rough set theory and formal concept analysis\u2014Toward a new bridge between the two settings. In: Beierle, C., Meghini, C. (eds.) Proc. 8th Int. Symp. on Foundations of Information and Knowledge Systems (FoIKS\u201914), Bordeaux, March 3\u20137, LNCS, vol. 8367, pp. 154\u2013173. Springer, New York (2014)","DOI":"10.1007\/978-3-319-04939-7_7"},{"key":"146_CR13","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s11787-011-0039-0","volume":"6","author":"D. Dubois","year":"2012","unstructured":"Dubois D., Prade H.: From Blanch\u2019e\u2019s hexagonal organization of concepts to formal concept analysis and possibility theory. Logica Universalis 6, 149\u2013169 (2012)","journal-title":"Logica Universalis"},{"key":"146_CR14","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H.: Gradual structures of oppositions. In: Esteva, F., Magdalena, L., Verdegay, J.L. (eds.) Enric Trillas: Passion for Fuzzy Sets, Studies in Fuzziness and Soft Computing, vol. 322, pp. 79\u201391. Springer, New York (2015)","DOI":"10.1007\/978-3-319-16235-5_7"},{"key":"146_CR15","doi-asserted-by":"crossref","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 $${\\langle 1 \\rangle}$$ \u27e8 1 \u27e9 determined by measures. Fuzzy Sets Syst. 160, 3425\u20133452 (2009)","journal-title":"Fuzzy Sets Syst."},{"key":"146_CR16","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. Springer, Berlin (2006)"},{"key":"146_CR17","doi-asserted-by":"crossref","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":"146_CR18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00413602","volume":"22","author":"G. Lakoff","year":"1970","unstructured":"Lakoff G.: Linguistics and natural logic. Synthese 22, 151\u2013271 (1970)","journal-title":"Synthese"},{"key":"146_CR19","doi-asserted-by":"crossref","unstructured":"Miclet, L., Prade, H.: Analogical proportions and square of oppositions. In: Laurent, A. et\u00a0al. (ed.) Proc. 15th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, July 15\u201319, Montpellier, CCIS, vol. 443, pp. 324\u2013334. Springer, New York (2014)","DOI":"10.1007\/978-3-319-08855-6_33"},{"key":"146_CR20","doi-asserted-by":"crossref","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 Syst. 186, 47\u201380 (2012)","journal-title":"Fuzzy Sets Syst."},{"key":"146_CR21","doi-asserted-by":"crossref","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 Syst. 242, 89\u2013113 (2014)","journal-title":"Fuzzy Sets Syst."},{"key":"146_CR22","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.fss.2014.01.009","volume":"247","author":"P. Murinov\u00e1","year":"2014","unstructured":"Murinov\u00e1 P., Nov\u00e1k V.: The structure of generalized intermediate syllogisms. Fuzzy Sets Syst. 247, 18\u201337 (2014)","journal-title":"Fuzzy Sets Syst."},{"key":"146_CR23","unstructured":"Murinov\u00e1, P.,Nov\u00e1k, V.: On properties of the inermediate quantifier \u201cMany\u201d. Fuzzy Sets Syst. submitted."},{"key":"146_CR24","doi-asserted-by":"crossref","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 Syst. 149, 235\u2013273 (2005)","journal-title":"Fuzzy Sets Syst."},{"key":"146_CR25","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k, V.: Perception-Based Logical Deduction, Computational Intelligence, Theory and Applications. Springer, Berlin, pp. 237\u2013250 (2005)","DOI":"10.1007\/3-540-31182-3_21"},{"key":"146_CR26","doi-asserted-by":"crossref","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 Syst. 159, 1229\u20131246 (2008)","journal-title":"Fuzzy Sets Syst."},{"issue":"22","key":"146_CR27","doi-asserted-by":"crossref","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 Syst. 159(22), 2939\u20132969 (2008)","journal-title":"Fuzzy Sets Syst."},{"key":"146_CR28","doi-asserted-by":"crossref","first-page":"2003","DOI":"10.1016\/j.fss.2006.02.011","volume":"157","author":"V. Nov\u00e1k","year":"2008","unstructured":"Nov\u00e1k V., Lehmke S.: Logical Structure of Fuzzy IF-THEN rules. Fuzzy Sets Syst. 157, 2003\u20132029 (2008)","journal-title":"Fuzzy Sets Syst."},{"key":"146_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5217-8","volume-title":"athematical Principles of Fuzzy Logic","author":"V. Nov\u00e1k","year":"1999","unstructured":"Nov\u00e1k V., Perfilieva I., Mo\u010dko\u0159 J.: athematical Principles of Fuzzy Logic. Kluwer, Boston (1999)"},{"key":"146_CR30","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s11787-007-0031-x","volume":"2","author":"T. Parsons","year":"2012","unstructured":"Parsons T.: Things That are Right with the Traditional Square of Opposition. Logica Universalis 2, 3\u201311 (2012)","journal-title":"Logica Universalis"},{"key":"146_CR31","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s11787-008-0038-y","volume":"2","author":"R. Pellissier","year":"2008","unstructured":"Pellissier R.: \u201cSetting\u201d n-opposition. Logical Universalis 2, 235\u2013263 (2008)","journal-title":"Logical Universalis"},{"key":"146_CR32","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/j.fss.2012.03.015","volume":"214","author":"M. Pereira-Fari\u00f1a","year":"2013","unstructured":"Pereira-Fari\u00f1a M., D\u00edaz-Hermida F., Bugar\u00edn A.: On the analysis of set-based fuzzy quantified reasoning using classical syllogistics. Fuzzy Sets Syst. 214, 83\u201394 (2013)","journal-title":"Fuzzy Sets Syst."},{"key":"146_CR33","doi-asserted-by":"crossref","unstructured":"Pereira-Fari\u00f1a, M., Juan, C.: Vidal and D\u00edaz-Hermida, F. Bugar\u00edn, A.: A fuzzy syllogistic reasoning schema for generalized quantifiers. Fuzzy Sets Syst. 234, 79\u201396 (2014)","DOI":"10.1016\/j.fss.2013.02.007"},{"key":"146_CR34","unstructured":"Peters, S., Westerst\u00e5hl, D.: Quantifiers in Language and Logic. Claredon Press, Oxford (2006)"},{"key":"146_CR35","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1305\/ndjfl\/1093882414","volume":"20","author":"P.L. Peterson","year":"1979","unstructured":"Peterson P.L.: On the logic of \u201cFew\u201d,\u201cMany\u201d and \u201cMost\u201d. Notre Dame J. Formal Logic 20, 155\u2013179 (1979)","journal-title":"Notre Dame J. Formal Logic"},{"key":"146_CR36","unstructured":"Peterson, P.P.: Intermediate Quantifiers. Logic, Linguistics, Aristotelian Semantics. Ahgate, Aldershot (2000)"},{"key":"146_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/actrade\/9780199244959.book.1","volume-title":"Aristotle\u2019s Prior and Posterior Analytics","author":"W.D. Ross","year":"1949","unstructured":"Ross W.D.: Aristotle\u2019s Prior and Posterior Analytics. Clarendom Press, Oxford (1949)"},{"key":"146_CR38","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0004-3702(97)00020-9","volume":"93","author":"D.G. Schwartz","year":"1997","unstructured":"Schwartz D.G.: Dynamic reasoning with qualified syllogisms. Artif. Intell. 93, 103\u2013167 (1997)","journal-title":"Artif. Intell."},{"key":"146_CR39","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1305\/ndjfl\/1093883568","volume":"23","author":"B.E. Thompson","year":"1982","unstructured":"Thompson B.E.: Syllogisms using \u201cfew\u201d, \u201cmany\u201d and \u201cmost\u201d. Notre Dame J. Formal Logic 23, 75\u201384 (1982)","journal-title":"Notre Dame J. Formal Logic"},{"key":"146_CR40","first-page":"1","volume":"2","author":"D. Westerst\u00e5hl","year":"2008","unstructured":"Westerst\u00e5hl D.: The traditional square of opposition and generalized quantifiers. Stud. Logic 2, 1\u201318 (2008)","journal-title":"Stud. Logic"},{"key":"146_CR41","first-page":"149","volume":"9","author":"L.A. Zadeh","year":"1983","unstructured":"Zadeh L.A.: A computational approach to fuzzy quantifiers in natural languages. Comput. Math. 9, 149\u2013184 (1983)","journal-title":"Comput. Math."},{"key":"146_CR42","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1109\/TSMC.1985.6313459","volume":"5","author":"L.A. Zadeh","year":"1985","unstructured":"Zadeh L.A.: Syllogistic reasoning in fuzzy logic and its applications to usuality and reasoning with dispositions. IEEE Trans. Syst. Man Cybern. 5, 754\u2013765 (1985)","journal-title":"IEEE Trans. Syst. Man Cybern."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-016-0146-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-016-0146-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-016-0146-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,17]],"date-time":"2023-08-17T16:51:21Z","timestamp":1692291081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-016-0146-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,12]]},"references-count":42,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["146"],"URL":"https:\/\/doi.org\/10.1007\/s11787-016-0146-z","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,12]]}}}