{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:59:26Z","timestamp":1725551966579},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540322030"},{"type":"electronic","value":"9783540322047"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11671404_7","type":"book-chapter","created":{"date-parts":[[2006,1,23]],"date-time":"2006-01-23T12:03:57Z","timestamp":1138017837000},"page":"105-118","source":"Crossref","is-referenced-by-count":1,"title":["Two Instances of Peirce\u2019s Reduction Thesis"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[]},{"given":"Joachim Hereth","family":"Correia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Burch, R.W.: A Peircean Reduction Thesis: The Foundation of Topological Logic. Texas Tech. University Press (1991)"},{"key":"7_CR2","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/b94030","volume-title":"The Logic System of Concept Graphs with Negations and its Relationship to Predicate Logic","author":"F. Dau","year":"2003","unstructured":"Dau, F.: The Logic System of Concept Graphs with Negations and its Relationship to Predicate Logic. LNCS (LNAI), vol.\u00a02892. Springer, Heidelberg (2003)"},{"key":"7_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-25931-2_7","volume-title":"Diagrammatic Representation and Inference","author":"F. Dau","year":"2004","unstructured":"Dau, F.: Query graphs with cuts: Mathematical foundations. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 32\u201350. Springer, Heidelberg (2004)"},{"key":"7_CR4","volume-title":"Formal Concept Analysis: The State of the Art","author":"F. Dau","year":"2003","unstructured":"Dau, F., Klinger, J.: From formal concept analysis to contextual logic. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis: The State of the Art. Springer, Heidelberg (2003)"},{"key":"7_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-24651-0_29","volume-title":"Concept Lattices","author":"J.H. Correia","year":"2004","unstructured":"Correia, J.H., P\u00f6schel, R.: The Power of Peircean Algebraic Logic (PAL). In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol.\u00a02961, pp. 337\u2013351. Springer, Heidelberg (2004)"},{"key":"7_CR6","unstructured":"Pape, H.: Charles S. Peirce: Ph\u00e4nomen und Logik der Zeichen. Suhrkamp Verlag Wissenschaft, German translation of Peirce\u2019s Syllabus of Certain Topics of Logic (1983)"},{"key":"7_CR7","unstructured":"Peirce, C.S.: MS 478: Existential Graphs, pp. 1931\u20131935. Harvard University Press, Partly published in of [Pei35b] (4.394-417). Complete german translation in [Pap83]"},{"key":"7_CR8","unstructured":"Peirce, C.S.: Collected Papers, pp. 1931\u20131935. Harvard University Press"},{"key":"7_CR9","unstructured":"Peirce, C.S., Sowa, J.F.: Existential Graphs: MS\u00a0514 by Charles Sanders Peirce with commentary by John Sowa, 1908 (2000), Available at \n                    \n                      http:\/\/www.jfsowa.com\/peirce\/ms514.htm"},{"key":"7_CR10","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":"7_CR11","unstructured":"Sowa, J.F.: Conceptual graphs summary. In: Nagle, T.E., Nagle, J.A., Gerholz, L.L., Eklund, P.W. (eds.) Conceptual Structures: current research and practice, Ellis Horwood, pp. 3\u201351 (1992)"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/978-94-009-7798-3_15","volume-title":"Ordered sets","author":"R. Wille","year":"1982","unstructured":"Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered sets, pp. 445\u2013470. Reidel, Dordrecht (1982)"},{"key":"7_CR13","first-page":"265","volume-title":"Working with Conceptual Structures. Contributions to ICCS 2000","author":"R. Wille","year":"2000","unstructured":"Wille, R.: Contextual logic summary. In: Stumme, G. (ed.) Working with Conceptual Structures. Contributions to ICCS 2000, pp. 265\u2013276. Shaker Verlag, Aachen (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11671404_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:18Z","timestamp":1619507658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11671404_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540322030","9783540322047"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11671404_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}