{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:08:59Z","timestamp":1761620939552},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540358930"},{"type":"electronic","value":"9783540359029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787181_13","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T13:06:40Z","timestamp":1156511200000},"page":"172-188","source":"Crossref","is-referenced-by-count":8,"title":["Some Notes on Proofs with Alpha Graphs"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Br\u00fcnnler, K.: Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universit\u00e4t Dresden (2003)"},{"key":"13_CR2","volume-title":"A Peircean Reduction Thesis: The Foundation of Topological Logic","author":"R.W. Burch","year":"1991","unstructured":"Burch, R.W.: A Peircean Reduction Thesis: The Foundation of Topological Logic. Texas Tech. University Press, Texas (1991)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BFb0049322","volume-title":"Computer Science Logic","author":"M. Baaz","year":"1994","unstructured":"Baaz, M., Zach, R.: Short proofs of tautologies using the schema of equivalence. In: Meinke, K., B\u00f6rger, E., Gurevich, Y. (eds.) CSL 1993. LNCS, vol.\u00a0832, pp. 33\u201335. Springer, Heidelberg (1994)"},{"key":"13_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-45483-7_25","volume-title":"Conceptual Structures: Integration and Interfaces","author":"F. Dau","year":"2002","unstructured":"Dau, F.: An embedding of existential graphs into concept graphs with negations. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol.\u00a02393, pp. 326\u2013340. Springer, Heidelberg (2002)"},{"key":"13_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-27769-9_5","volume-title":"Conceptual Structures at Work","author":"F. Dau","year":"2004","unstructured":"Dau, F.: Types and tokens for logic with diagrams. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 62\u201393. Springer, Heidelberg (2004)"},{"key":"13_CR6","unstructured":"Dau, F.: Mathematical logic with diagrams, based on the existential graphs of peirce. Habilitation thesis (to be published, 2006), available at: http:\/\/www.dr-dau.net"},{"volume-title":"Common Semantics for Sharing Knowledge: Contributions to ICCS 2005","year":"2005","key":"13_CR7","unstructured":"Dau, F., Mugnier, M.-L., Stumme, G. (eds.): Common Semantics for Sharing Knowledge: Contributions to ICCS 2005. Kassel University Press, Kassel (2005)"},{"key":"13_CR8","volume-title":"Logic and Visual Information","author":"E.M. Hammer","year":"1995","unstructured":"Hammer, E.M.: Logic and Visual Information. CSLI Publications, Stanford (1995)"},{"volume-title":"Collected Papers of Charles Sanders Peirce","year":"1935","key":"13_CR9","unstructured":"Hartshorne, W., Burks (eds.): Collected Papers of Charles Sanders Peirce. Harvard University Press, Cambridge (1931-1935)"},{"key":"13_CR10","unstructured":"Hodgins, D.P., Kocura, P.: Propositional theorem prover for peirce-logik. In: Dau, et al. (eds.) [DMS 2005], pp. 203\u2013204"},{"key":"13_CR11","unstructured":"Liu, X.-W.: An axiomatic system for peirce\u2019s alpha graphs. In: Dau, et al. (eds.) [DMN 2005], pp. 122\u2013131"},{"key":"#cr-split#-13_CR12.1","unstructured":"Pape, H.: Charles S. Peirce: Ph\u00e4nomen und Logik der Zeichen. Suhrkamp Verlag Wissenschaft, Frankfurt am Main, Germany (1983);"},{"key":"#cr-split#-13_CR12.2","unstructured":"German translation of Peirce\u2019s Syllabus of Certain Topics of Logic"},{"key":"13_CR13","unstructured":"Peirce, C.S.: MS 478: Existential Graphs. Harvard University Press, (1931\u20131935); Partly published in of [HB35] (4.394-417). Complete german translation in [Pap83]"},{"key":"13_CR14","volume-title":"The Cambridge Conferences Lectures of 1898","author":"C.S. Peirce","year":"1992","unstructured":"Peirce, C.S.: Reasoning and the logic of things. In: Kremer, K.L., Putnam, H. (eds.) The Cambridge Conferences Lectures of 1898. Harvard Univ. Press, Cambridge (1992)"},{"key":"13_CR15","unstructured":"Peirce, C.S., Sowa, J.F.: Existential Graphs: MS\u00a0514 by Charles Sanders Peirce with commentary J. Sowa (1908) (2000),available at: http:\/\/www.jfsowa.com\/peirce\/ms514.htm"},{"key":"13_CR16","doi-asserted-by":"crossref","DOI":"10.1515\/9783110226225","volume-title":"The Existential Graphs of Charles S. Peirce","author":"D.D. Roberts","year":"1973","unstructured":"Roberts, D.D.: The Existential Graphs of Charles S. Peirce. Mouton, The Hague (1973)"},{"issue":"6\u20139","key":"13_CR17","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/0898-1221(92)90127-4","volume":"23","author":"D.D. Roberts","year":"1992","unstructured":"Roberts, D.D.: The existential graphs. Computers Math. Appl.\u00a023(6\u20139), 639\u2013663 (1992)","journal-title":"Computers Math. Appl."},{"key":"13_CR18","volume-title":"Beweistheorie","author":"K. Sch\u00fctte","year":"1960","unstructured":"Sch\u00fctte, K.: Beweistheorie. Springer, Heidelberg (1960)"},{"key":"13_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"S.-J. Shin","year":"2002","unstructured":"Shin, S.-J.: The Iconic Logic of Peirce\u2019s Graphs. Bradford Book, Massachusetts (2002)"},{"key":"13_CR20","volume-title":"Diagrammatic Representation and Reasoning","author":"S.-J. Shin","year":"2002","unstructured":"Shin, S.-J.: Multiple readings in peirce\u2019s alpha graphs. In: Anderson, M., Meyer, B., Olivier, P. (eds.) Diagrammatic Representation and Reasoning. Springer, Heidelberg (2002)"},{"key":"13_CR21","volume-title":"Conceptual structures: information processing in mind and machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F.: Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading (1984)"},{"key":"13_CR22","unstructured":"Sowa, J.F.: Logic: Graphical and algebraic, Croton-on-Hudson (1997) (manuscript)"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0003-4843(78)90011-6","volume":"15","author":"R. Statman","year":"1978","unstructured":"Statman, R.: Bounds for proof-search and speed-up in predicate calculus. Annals of Mathematical Logic\u00a015, 225\u2013287 (1978)","journal-title":"Annals of Mathematical Logic"},{"key":"13_CR24","unstructured":"van Heuveln, B.: Existential graphs. (2003), Presentations and Applications at: http:\/\/www.rpi.edu\/~heuveb\/research\/EG\/eg.html"},{"key":"13_CR25","first-page":"195","volume":"6","author":"T. Yukami","year":"1984","unstructured":"Yukami, T.: Some results on speed-up. Ann. Japan Assoc. Philos. Sci.\u00a06, 195\u2013205 (1984)","journal-title":"Ann. Japan Assoc. Philos. Sci."},{"key":"13_CR26","unstructured":"Zeman, J.J.: The Graphical Logic of C.\u00a0S.\u00a0Peirce. PhD thesis, University of Chicago (1964), available at: http:\/\/www.clas.ufl.edu\/users\/jzeman\/"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Inspiration and Application"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787181_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T16:53:28Z","timestamp":1627750408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787181_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358930","9783540359029"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11787181_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}