{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:37:58Z","timestamp":1758274678086,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"15","license":[{"start":{"date-parts":[[2019,12,14]],"date-time":"2019-12-14T00:00:00Z","timestamp":1576281600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,12,14]],"date-time":"2019-12-14T00:00:00Z","timestamp":1576281600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003010","name":"Ege \u00dcniversitesi","doi-asserted-by":"crossref","award":["21267"],"award-info":[{"award-number":["21267"]}],"id":[{"id":"10.13039\/501100003010","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s00500-019-04598-9","type":"journal-article","created":{"date-parts":[[2019,12,16]],"date-time":"2019-12-16T15:56:39Z","timestamp":1576511799000},"page":"11337-11346","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A new algorithmic decision for categorical syllogisms via Carroll\u2019s diagrams"],"prefix":"10.1007","volume":"24","author":[{"given":"Necla","family":"Kircali Gursoy","sequence":"first","affiliation":[]},{"given":"Ibrahim","family":"Senturk","sequence":"additional","affiliation":[]},{"given":"Tahsin","family":"Oner","sequence":"additional","affiliation":[]},{"given":"Arif","family":"Gursoy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,12,14]]},"reference":[{"issue":"1","key":"4598_CR1","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1080\/01445340412331311947","volume":"26","author":"FF Abeles","year":"2005","unstructured":"Abeles FF (2005) Lewis Carroll\u2019s formal logic. Hist Philos Logic 26(1):33\u201346","journal-title":"Hist Philos Logic"},{"issue":"1","key":"4598_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445340600704481","volume":"28","author":"FF Abeles","year":"2007","unstructured":"Abeles FF (2007) Lewis Carroll\u2019s visual logic. Hist Philos Logic 28(1):1\u201317","journal-title":"Hist Philos Logic"},{"key":"4598_CR3","volume-title":"The complete works of Aristotle: the revised Oxford translation","author":"J Barnes","year":"2014","unstructured":"Barnes J (2014) The complete works of Aristotle: the revised Oxford translation. Princeton University Press, Princeton"},{"key":"4598_CR4","volume-title":"Symbolic logic and the game of logic","author":"L Carroll","year":"1958","unstructured":"Carroll L (1958) Symbolic logic and the game of logic. Courier Corporation, North Chelmsford"},{"key":"4598_CR5","first-page":"79","volume":"35","author":"JM Castro-Manzano","year":"2015","unstructured":"Castro-Manzano JM (2015) S\u0142upecki\u2019s rule for diagrammatic reasoning. Studia Metodologiczne 35:79\u201396","journal-title":"Studia Metodologiczne"},{"key":"4598_CR6","first-page":"89","volume":"52","author":"JM Castro-Manzano","year":"2017","unstructured":"Castro-Manzano JM (2017) Re(dis)covering Leibniz\u2019s diagrammatic logic. T\u00f3picos, Revista de Filosof\u00eda 52:89\u2013116","journal-title":"T\u00f3picos, Revista de Filosof\u00eda"},{"issue":"15","key":"4598_CR7","doi-asserted-by":"publisher","first-page":"4387","DOI":"10.1007\/s00500-016-2071-8","volume":"21","author":"W Deng","year":"2017","unstructured":"Deng W, Zhao H, Zou L, Li G, Yang X, Wu D (2017) A novel collaborative optimization algorithm in solving complex optimization problems. Soft Comput 21(15):4387\u20134398","journal-title":"Soft Comput"},{"key":"4598_CR8","volume-title":"Diagrammatic reasoning: cognitive and computational perspectives","author":"J Glasgow","year":"1995","unstructured":"Glasgow J, Narayanan NH, Chandrasekeran B (1995) Diagrammatic reasoning: cognitive and computational perspectives. AAAI Press, Palo Alto"},{"key":"4598_CR9","unstructured":"Kulinkovich AE (1979) Algorithmization of reasoning in solving geological problems. In: Proceedings of the methodology of geographical sciences, pp 145\u2013161"},{"key":"4598_CR10","doi-asserted-by":"crossref","unstructured":"Kumova BI, Cakir H (2010) Algorithmic decision of syllogisms. In: International conference on industrial, engineering and other applications of applied intelligent systems. Springer, Heidelberg","DOI":"10.1007\/978-3-642-13025-0_4"},{"key":"4598_CR11","volume-title":"Aristotle\u2019s syllogistic from the standpoint of modern formal logic","author":"J \u0141ukasiewicz","year":"1957","unstructured":"\u0141ukasiewicz J (1957) Aristotle\u2019s syllogistic from the standpoint of modern formal logic, 2nd edn. Oxford University Press, Oxford","edition":"2"},{"key":"4598_CR12","volume-title":"Thinking, problem solving, and cognition","author":"RE Mayer","year":"1992","unstructured":"Mayer RE (1992) Thinking, problem solving, and cognition. WH Freeman, New York"},{"key":"4598_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811678","volume-title":"Multimedia learning","author":"RE Mayer","year":"2009","unstructured":"Mayer RE (2009) Multimedia learning, 2nd edn. Cambridge University Press, New York","edition":"2"},{"key":"4598_CR14","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1016\/S1874-5857(08)80013-1","volume-title":"The handbook of the history of logic, vol. 4: British logic in the nineteenth-century","author":"A Moktefi","year":"2008","unstructured":"Moktefi A (2008) Lewis Carroll\u2019s logic. In: Gabbay DM, Woods J (eds) The handbook of the history of logic, vol. 4: British logic in the nineteenth-century. Elsevier, Amsterdam, pp 457\u2013505"},{"key":"4598_CR15","first-page":"55","volume-title":"A history of logic diagrams, visual reasoning with diagrams","author":"A Moktefi","year":"2015","unstructured":"Moktefi A (2015) A history of logic diagrams, visual reasoning with diagrams. Springer, Berlin, pp 55\u201371"},{"key":"4598_CR16","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-319-91376-6_7","volume-title":"Diagrammatic representation and inference. Diagrams, lecture notes in computer science","author":"A Moktefi","year":"2018","unstructured":"Moktefi A (2018) Carroll diagrams: design and manipulation. In: Chapman P, Stapleton G, Moktefi A, Perez-Kriz S, Bellucci F (eds) Diagrammatic representation and inference. Diagrams, lecture notes in computer science, vol 10871. Springer, Cham, pp 32\u201335"},{"key":"4598_CR17","first-page":"611","volume-title":"A history of logic diagrams, handbook of the history of logic","author":"A Moktefi","year":"2012","unstructured":"Moktefi A, Shin SJ (2012) A history of logic diagrams, handbook of the history of logic, vol 11. North-Holland, Amsterdam, pp 611\u2013682"},{"key":"4598_CR18","first-page":"81","volume-title":"Visual, virtual, veridical. Visual learning","author":"A Moktefi","year":"2017","unstructured":"Moktefi A (2017) Diagrams as scientific instruments. In: Benedek A, Veszelszki A (eds) Visual, virtual, veridical. Visual learning, vol 7. Peter Lang Verlag, Frankfurt\/M., pp 81\u201389"},{"issue":"1","key":"4598_CR19","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1002\/int.21628","volume":"29","author":"RT Nakatsu","year":"2014","unstructured":"Nakatsu RT (2014) Using Venn diagrams to perform logic reasoning: an algorithm for automating the syllogistic reasoning of categorical statements. Int J Intell Syst 29(1):84\u2013103","journal-title":"Int J Intell Syst"},{"key":"4598_CR20","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0165-0114(02)00128-8","volume":"133","author":"J Niittym\u00e4ki","year":"2003","unstructured":"Niittym\u00e4ki J, Turunen E (2003) Traffic signal control on similarity logic reasoning. Fuzzy Sets Syst 133:109\u2013131","journal-title":"Fuzzy Sets Syst"},{"key":"4598_CR21","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1017\/S1755020309990086","volume":"2","author":"I Pratt-Hartmann","year":"2009","unstructured":"Pratt-Hartmann I, Moss LS (2009) On the computational complexity of the numerically definite syllogistic and related logics. Rev Symb Logic 2:647\u2013683","journal-title":"Rev Symb Logic"},{"issue":"2","key":"4598_CR22","first-page":"101","volume":"8","author":"J Rocha","year":"2007","unstructured":"Rocha J, Meseguer J (2007) A rewriting decision procedure for Dijkstra\u2013Scholten\u2019s syllogistic logic with complements. Revista Colombiana de Comp 8(2):101\u2013130","journal-title":"Revista Colombiana de Comp"},{"issue":"2","key":"4598_CR23","doi-asserted-by":"publisher","first-page":"367","DOI":"10.2298\/FIL1902367S","volume":"33","author":"I Senturk","year":"2019","unstructured":"Senturk I, Oner T (2019) An algebraic analysis of categorical syllogisms by using Carroll\u2019s diagrams. Filomat 33(2):367\u2013383","journal-title":"Filomat"},{"key":"4598_CR24","unstructured":"Senturk I, Oner T, Nuriyev U (2016) Completeness of categorical syllogisms by means of diagrammatic method. In: Association for symbolic logic European summer meeting, logic colloquium 2016, Leeds, England"},{"key":"4598_CR25","unstructured":"Skliar O, Monge RE, Gapper S (2015) Using inclusion diagrams as an alternative to Venn diagrams to determine the validity of categorical syllogisms. arXiv:1509.00926"},{"issue":"12","key":"4598_CR26","doi-asserted-by":"publisher","first-page":"2431","DOI":"10.1007\/s00500-013-1216-2","volume":"18","author":"E Turunen","year":"2014","unstructured":"Turunen E (2014) An algebraic study of Peterson\u2019s intermediate syllogisms. Soft Comput 18(12):2431\u20132444","journal-title":"Soft Comput"},{"key":"4598_CR27","unstructured":"Zadeh LA (1985) Syllogistic reasoning as a basis for combination of evidence in expert systems. In: 9th international joint conference on artificial intelligencem pp 417\u2013419"},{"key":"4598_CR28","doi-asserted-by":"publisher","first-page":"99263","DOI":"10.1109\/ACCESS.2019.2929094","volume":"7","author":"H Zhao","year":"2019","unstructured":"Zhao H, Zheng J, Xu J, Deng W (2019a) Fault diagnosis method based on principal component analysis and broad learning system. IEEE Access 7:99263\u201399272","journal-title":"IEEE Access"},{"key":"4598_CR29","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2019.2948414","author":"H Zhao","year":"2019","unstructured":"Zhao H, Liu H, Xu J, Deng W (2019b) Performance prediction using high-order differential mathematical morphology gradient spectrum entropy and extreme learning machine. IEEE Trans Instrum Meas. https:\/\/doi.org\/10.1109\/TIM.2019.2948414","journal-title":"IEEE Trans Instrum Meas"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-019-04598-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-019-04598-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-019-04598-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,13]],"date-time":"2020-12-13T00:48:04Z","timestamp":1607820484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-019-04598-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,14]]},"references-count":29,"journal-issue":{"issue":"15","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["4598"],"URL":"https:\/\/doi.org\/10.1007\/s00500-019-04598-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2019,12,14]]},"assertion":[{"value":"14 December 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Human and animal participants"}}]}}