{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:13:16Z","timestamp":1742951596493,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319913759"},{"type":"electronic","value":"9783319913766"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91376-6_61","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T11:19:05Z","timestamp":1526469545000},"page":"689-696","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Depicting the Redundancy of Fourth Figure Using Venn-Peirce Framework"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1904-3492","authenticated-orcid":false,"given":"Sumanta","family":"Sarathi Sharma","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"61_CR1","volume-title":"An Introduction to Logic and Scientific Method","author":"MR Cohen","year":"1936","unstructured":"Cohen, M.R., Nagel, E.: An Introduction to Logic and Scientific Method. Allied Publishers, New Delhi (1936)"},{"key":"61_CR2","volume-title":"Introduction to Logic","author":"IM Copi","year":"1990","unstructured":"Copi, I.M., Cohen, C.: Introduction to Logic, 8th edn. Macmillan, New York (1990)","edition":"8"},{"key":"61_CR3","doi-asserted-by":"publisher","DOI":"10.1163\/9789004320840","volume-title":"Ways into the Logic of Alexander of Aphrodisias","author":"KL Flannery","year":"1995","unstructured":"Flannery, K.L.: Ways into the Logic of Alexander of Aphrodisias. Brill, Leiden (1995)"},{"key":"61_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1305\/ndjfl\/1093882406","volume":"20","author":"DJ Hadgopoulos","year":"1979","unstructured":"Hadgopoulos, D.J.: The principle of division into four figures in traditional logic. Notre Dame J. Formal Logic 20, 92\u201394 (1979)","journal-title":"Notre Dame J. Formal Logic"},{"key":"61_CR5","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1086\/287022","volume":"16","author":"P Henle","year":"1949","unstructured":"Henle, P.: On the fourth figure of the syllogism. Philos. Sci. 16, 94\u2013104 (1949)","journal-title":"Philos. Sci."},{"key":"61_CR6","volume-title":"A Concise Introduction to Logic","author":"PJ Hurley","year":"2012","unstructured":"Hurley, P.J.: A Concise Introduction to Logic. Wadsworth, Boston (2012)"},{"key":"61_CR7","volume-title":"Studies and Exercises in Formal Logic","author":"JN Keynes","year":"1906","unstructured":"Keynes, J.N.: Studies and Exercises in Formal Logic. Macmillan, London (1906)"},{"key":"61_CR8","volume-title":"The Development of Logic","author":"W Kneale","year":"1962","unstructured":"Kneale, W., Kneale, M.: The Development of Logic. OUP, London (1962)"},{"key":"61_CR9","volume-title":"Aristotle\u2019s Syllogistic: From the Standpoint of Modern Formal Logic","author":"J \u0141ukasiewicz","year":"1955","unstructured":"\u0141ukasiewicz, J.: Aristotle\u2019s Syllogistic: From the Standpoint of Modern Formal Logic. OUP, London (1955)"},{"key":"61_CR10","volume-title":"The Basic Works of Aristotle","author":"R McKeon","year":"1941","unstructured":"McKeon, R.: The Basic Works of Aristotle. Random House, New York (1941)"},{"key":"61_CR11","volume-title":"Collected Papers","author":"CS Peirce","year":"1933","unstructured":"Peirce, C.S.: Collected Papers. Harvard University Press, Cambridge (1933)"},{"key":"61_CR12","doi-asserted-by":"publisher","first-page":"371","DOI":"10.2307\/2176198","volume":"8","author":"JB Peterson","year":"1899","unstructured":"Peterson, J.B.: The forms of the syllogism. Philos. Rev. 8, 371\u2013385 (1899)","journal-title":"Philos. Rev."},{"key":"61_CR13","volume-title":"Formal Logic","author":"AN Prior","year":"1962","unstructured":"Prior, A.N.: Formal Logic. Clarendon Press, Oxford (1962)"},{"key":"61_CR14","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1353\/hph.2008.1365","volume":"3","author":"N Rescher","year":"1965","unstructured":"Rescher, N.: New light from arabic sources on Galen and the fourth figure. J. History Philos. 3, 27\u201341 (1965)","journal-title":"J. History Philos."},{"key":"61_CR15","first-page":"215","volume":"45","author":"F Richman","year":"2004","unstructured":"Richman, F.: Equivalence of syllogism. NDJFL 45, 215\u2013233 (2004)","journal-title":"NDJFL"},{"key":"61_CR16","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1093\/mind\/LXXIV.295.382","volume":"74","author":"LE Rose","year":"1965","unstructured":"Rose, L.E.: Aristotle\u2019s syllogistic and the fourth figure. Mind 74, 382\u2013389 (1965)","journal-title":"Mind"},{"key":"61_CR17","doi-asserted-by":"publisher","first-page":"14","DOI":"10.2307\/750661","volume":"28","author":"AI Sabra","year":"1965","unstructured":"Sabra, A.I.: A twelfth century defence of the fourth figure of syllogism. J. Warburg Courtauld Inst. 28, 14\u201328 (1965)","journal-title":"J. Warburg Courtauld Inst."},{"key":"61_CR18","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/s10849-015-9225-4","volume":"24","author":"Y Sato","year":"2015","unstructured":"Sato, Y., Mineshima, K.: How diagrams can support syllogistic reasoning: an experimental study. J. Logic Lang. Inf. 24, 409\u2013455 (2015)","journal-title":"J. Logic Lang. Inf."},{"key":"61_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-14600-8_6","volume-title":"Diagrammatic Representation and Inference","author":"Y Sato","year":"2010","unstructured":"Sato, Y., Mineshima, K., Takemura, R.: The efficacy of Euler and Venn diagrams in deductive reasoning: empirical findings. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS (LNAI), vol. 6170, pp. 6\u201322. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-14600-8_6"},{"key":"61_CR20","unstructured":"Sharma, S.S.: Perfect syllogisms and the method of minimal representation. In: CEUR Workshop Proceedings, vol. 1132, pp. 17\u201322 (2014)"},{"key":"61_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/14786448008626877","volume":"10","author":"J Venn","year":"1880","unstructured":"Venn, J.: On the diagrammatic and mechanical representation of propositions and reasonings. Philos. Mag. 10, 1\u201318 (1880)","journal-title":"Philos. Mag."}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91376-6_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T03:59:23Z","timestamp":1558324763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91376-6_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319913759","9783319913766"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91376-6_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"17 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Diagrams","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Application of Diagrams","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Edinburgh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.diagrams-conference.org\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}