{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T04:44:32Z","timestamp":1773377072791,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,3,28]],"date-time":"2012-03-28T00:00:00Z","timestamp":1332892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s10849-012-9160-6","type":"journal-article","created":{"date-parts":[[2012,3,27]],"date-time":"2012-03-27T08:22:33Z","timestamp":1332836553000},"page":"365-391","source":"Crossref","is-referenced-by-count":26,"title":["A Diagrammatic Inference System with Euler Circles"],"prefix":"10.1007","volume":"21","author":[{"given":"Koji","family":"Mineshima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuhiro","family":"Okada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryo","family":"Takemura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,28]]},"reference":[{"key":"9160_CR1","volume-title":"Elementary topology","author":"D. W. Blackett","year":"1983","unstructured":"Blackett D. W. (1983) Elementary topology. Academic Press, London"},{"key":"9160_CR2","unstructured":"Euler, L. (1768). Lettres \u00e0 une Princesse d\u2019Allemagne sur Divers Sujets de Physique et de Philosophie, Saint-P\u00e9tersbourg: De l\u2019Acad\u00e9mie des Sciences. (H. Hunter, Letters of Euler to a German Princess on Different Subjects in Physics and Philosophy, Thoemmes Press, 1997, English trans.)."},{"key":"9160_CR3","unstructured":"Gentzen, G. (1934). Untersuchungen \u00fcber das logische Schlie\u00dfen, Mathematische Zeitschrift, 39, 176\u2013210, 405\u2013431. (Investigations into logical deduction. In M. E. Szabo (ed.), The collected Papers of Gerhard Gentzen, 1969, English trans.)."},{"key":"9160_CR4","volume-title":"Logic and visual information","author":"E. Hammer","year":"1995","unstructured":"Hammer E. (1995) Logic and visual information. CSLI Publications, Stanford, CA"},{"issue":"5","key":"9160_CR5","first-page":"463","volume":"25","author":"E. Hammer","year":"1996","unstructured":"Hammer E., Danner N. (1996) Towards a model theory of diagrams. Journal of Philosophical Logic 25(5): 463\u2013482","journal-title":"Journal of Philosophical Logic"},{"key":"9160_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/01445349808837293","volume":"19","author":"E. Hammer","year":"1998","unstructured":"Hammer E., Shin S.-J. (1998) Euler\u2019s visual logic. History and Philosophy of Logic 19: 1\u201329","journal-title":"History and Philosophy of Logic"},{"key":"9160_CR7","doi-asserted-by":"crossref","unstructured":"Howse, J., Molina, F., & Taylor, J. (2000). SD2: A sound and complete diagrammatic reasoning system. In 2000 IEEE international symposium on visual languages, (pp. 127\u2013134).","DOI":"10.1109\/VL.2000.874376"},{"key":"9160_CR8","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse J., Stapleton G., Taylor J. (2005) Spider diagrams. LMS Journal of Computation and Mathematics 8: 145\u2013194","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"9160_CR9","unstructured":"Mineshima, K., Okada, M., & Takemura, R. (2009). Conservativity for a hierarchy of Euler and Venn reasoning systems. In Proceedings of visual languages and logic 2009, CEUR series (Vol. 510, pp. 37\u201361)."},{"key":"9160_CR10","unstructured":"Mineshima, K., Okada, M., & Takemura, R. (2010). Two types of diagrammatic inference systems: Natural deduction style and resolution style. In Diagrammatic representation and inference: 6th international conference, Diagrams 2010, lecture notes in artificial intelligence, Springer (pp. 99\u2013114)."},{"key":"9160_CR11","unstructured":"Molina, F. (2001). Reasoning with extended Venn\u2013Peirce diagrammatic systems. Ph.D. thesis, University of Brighton."},{"issue":"1\u20132","key":"9160_CR12","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/S0304-3975(99)00058-4","volume":"227","author":"M. Okada","year":"1999","unstructured":"Okada M. (1999) Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic. Theoretical Computer Science 227(1\u20132): 333\u2013396","journal-title":"Theoretical Computer Science"},{"key":"9160_CR13","unstructured":"Peirce, C. S. (1933). In C. Hartshorne, & P. Weiss (Eds.), Collected papers of Charles Sanders Peirce (Vol. 4). Cambridge, MA: Harvard University Press."},{"key":"9160_CR14","unstructured":"Sato, Y., Mineshima, K., & Takemura, R. (2010). The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings. In Diagrammatic representation and inference: 6th international conference, Diagrams 2010, lecture notes in artificial intelligence, Springer (pp. 6\u201322)."},{"key":"9160_CR15","volume-title":"The logical status of diagrams","author":"S.-J. Shin","year":"1994","unstructured":"Shin S.-J. (1994) The logical status of diagrams. Cambridge University Press, Cambridge, MA"},{"key":"9160_CR16","doi-asserted-by":"crossref","unstructured":"Stapleton, G. (2005). A survey of reasoning systems based on Euler diagrams. In Proceedings of the first international workshop on Euler diagrams (Euler 2004), electronic notes in theoretical computer science (Vol. 134, pp. 127\u2013151).","DOI":"10.1016\/j.entcs.2005.02.022"},{"key":"9160_CR17","unstructured":"Stapleton, G., Howse, J., Rodgers, P., & Zhang, L. (2008). Generating Euler diagrams from existing layouts. In Layout of (software) engineering diagrams 2008, electronic communications of the EASST, (Vol. 13, pp. 16\u201331)."},{"issue":"1","key":"9160_CR18","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/TVCG.2010.28","volume":"17","author":"G. Stapleton","year":"2011","unstructured":"Stapleton G., Rodgers P., Howse J., Zhang L. (2011) Inductively generating Euler diagrams. IEEE Transactions on Visualization and Computer Graphics 17(1): 88\u2013100","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"issue":"2","key":"9160_CR19","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/s10270-003-0044-8","volume":"3","author":"N. Swoboda","year":"2004","unstructured":"Swoboda N., Allwein G. (2004) Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling 3(2): 136\u2013149","journal-title":"Journal on Software and System Modeling"},{"key":"9160_CR20","doi-asserted-by":"crossref","DOI":"10.1037\/14127-000","volume-title":"Symbolic logic","author":"J. Venn","year":"1881","unstructured":"Venn J. (1881) Symbolic logic. Macmillan, London"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-012-9160-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-012-9160-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-012-9160-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,26]],"date-time":"2019-06-26T00:23:35Z","timestamp":1561508615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-012-9160-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,28]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["9160"],"URL":"https:\/\/doi.org\/10.1007\/s10849-012-9160-6","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,28]]}}}