{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:16:58Z","timestamp":1725560218474},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145995"},{"type":"electronic","value":"9783642146008"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14600-8_12","type":"book-chapter","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T14:51:07Z","timestamp":1280155867000},"page":"99-114","source":"Crossref","is-referenced-by-count":6,"title":["Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style"],"prefix":"10.1007","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","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.4324\/9781410603005","volume-title":"Mental logic","author":"M.D.S. Braine","year":"1998","unstructured":"Braine, M.D.S., O\u2019Brien, D.P.: Mental logic. Lawrence Erlbaum, Mahwah (1998)"},{"key":"12_CR2","volume-title":"Handbook Proof Theory","author":"S.R. Buss","year":"1998","unstructured":"Buss, S.R.: An Introduction to Proof Theory. In: Buss, S.R. (ed.) Handbook Proof Theory. Elsevier, Amsterdam (1998)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-58622-4_5","volume-title":"Computational Logic","author":"S.R. Buss","year":"1999","unstructured":"Buss, S.R.: Propositional Proof Complexity: An Introduction. In: Berger, U., Schwichtenberg, H. (eds.) Computational Logic, pp. 127\u2013178. Springer, Berlin (1999)"},{"key":"12_CR4","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York (1973)"},{"key":"12_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-25931-2_17","volume-title":"Diagrammatic Representation and Inference","author":"J. Flower","year":"2004","unstructured":"Flower, J., Masthoff, J., Stapleton, G.: Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 166\u2013181. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Unter suchungen uber das logische Scliessen. Mathematische Zetischrift\u00a039, 176\u2013210, 405\u2013431 (1935);","key":"#cr-split#-12_CR6.1","DOI":"10.1007\/BF01201363"},{"unstructured":"English Translation: Investigations into logical deduction. In: Szabo, M.E. (ed.) The collected Papers of Gerhard Gentzen (1969)","key":"#cr-split#-12_CR6.2"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445349808837293","volume":"19","author":"E. Hammer","year":"1998","unstructured":"Hammer, E., Shin, S.-J.: Euler\u2019s visual logic. History and Philosophy of Logic\u00a019, 1\u201329 (1998)","journal-title":"History and Philosophy of Logic"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider Diagrams. LMS Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"12_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-87730-1_19","volume-title":"Diagrammatic Representation and Inference","author":"K. Mineshima","year":"2008","unstructured":"Mineshima, K., Okada, M., Sato, Y., Takemura, R.: Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol.\u00a05223, pp. 188\u2013205. Springer, Heidelberg (2008)"},{"unstructured":"Mineshima, K., Okada, M., Takemura, R.: Conservativity for a hierarchy of Euler and Venn reasoning systems. In: Proceedings of Visual Languages and Logic 2009. CEUR Series, vol.\u00a0510, pp. 37\u201361 (2009)","key":"12_CR10"},{"unstructured":"Mineshima, K., Okada, M., Takemura, R.: A Diagrammatic Inference System with Euler Circles (2009) (submitted to a journal)","key":"12_CR11"},{"unstructured":"Mineshima, K., Okada, M., Takemura, R.: Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style, an extended version of this paper, http:\/\/abelard.flet.keio.ac.jp\/person\/takemura\/index.html","key":"12_CR12"},{"unstructured":"Ono, H.: Logic in Information Science (Joho-kagaku ni okeru Ronri; in Japanese), Nippon-Hyoron-sha (1994)","key":"12_CR13"},{"unstructured":"Prawitz, D.: Natural Deduction. Almqvist & Wiksell (1965); Dover (2006)","key":"12_CR14"},{"key":"12_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5680.001.0001","volume-title":"The psychology of proof","author":"L. Rips","year":"1994","unstructured":"Rips, L.: The psychology of proof. MIT Press, Cambridge (1994)"},{"issue":"1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM\u00a012(1), 23\u201341 (1965)","journal-title":"Journal of the ACM"},{"key":"12_CR17","series-title":"LNAI","first-page":"6","volume-title":"Diagrams 2010","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.\u00a06170, pp. 6\u201322. Springer, Heidelberg (2010)"},{"key":"12_CR18","volume-title":"The Logical Status of Diagrams","author":"S.-J. Shin","year":"1994","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"issue":"1","key":"12_CR19","first-page":"127","volume":"134","author":"G. Stapleton","year":"2005","unstructured":"Stapleton, G.: A survey of reasoning systems based on Euler diagrams. Proceedings of Euler 2004, Electronic Notes in Theoretical Computer Science\u00a0134(1), 127\u2013151 (2005)","journal-title":"Proceedings of Euler 2004, Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"12_CR20","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s10817-007-9069-y","volume":"39","author":"G. Stapleton","year":"2007","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated Theorem Proving in Euler Diagram Systems. Journal of Automated Reasoning\u00a039(4), 431\u2013470 (2007)","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14600-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T15:24:16Z","timestamp":1591543456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14600-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145995","9783642146008"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14600-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}