{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:21Z","timestamp":1725475881393},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356233"},{"type":"electronic","value":"9783540356240"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11783183_9","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T05:50:23Z","timestamp":1151473823000},"page":"73-87","source":"Crossref","is-referenced-by-count":1,"title":["Syntactic Variety in Boundary Logic"],"prefix":"10.1007","author":[{"given":"William","family":"Bricken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"The Development of Logic","author":"W. Kneale","year":"1962","unstructured":"Kneale, W., Kneale, M.: The Development of Logic. Oxford Univ. Press, Oxford (1962)"},{"key":"9_CR2","unstructured":"Peirce, C.S.: Collected Papers of Charles Sanders Peirce. In: Hartshorne, C., Weiss, P., Burks, A. (eds.). Harvard Univ. Press, Cambridge (1931\u20131958)"},{"key":"9_CR3","unstructured":"Spencer Brown, G.: Laws of Form. George Allen and Unwin (1969)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11783183_8","volume-title":"Diagrammatic Representation and Inference","author":"W. Bricken","year":"2006","unstructured":"Bricken, W.: The Mathematics of Boundaries: A Beginning. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS, vol.\u00a04045, pp. 70\u201372. Springer, Heidelberg (2006)"},{"key":"9_CR5","first-page":"1","volume":"2:4","author":"W. Bricken","year":"1989","unstructured":"Bricken, W., Gullichsen, E.: Introduction to Boundary Logic. Future Computing Systems\u00a02:4, 1\u201377 (1989)","journal-title":"Future Computing Systems"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-60343-3_24","volume-title":"KI 1995: Advances in Artificial Intelligence","author":"W. Bricken","year":"1995","unstructured":"Bricken, W.: Distinction Networks. In: Wachsmuth, I., Brauer, W., Rollinger, C.-R. (eds.) KI 1995. LNCS, vol.\u00a0981, pp. 35\u201348. Springer, Heidelberg (1995)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1109\/WVL.1992.275745","volume-title":"1992 IEEE Workshop on isual Languages","author":"J. James","year":"1992","unstructured":"James, J., Bricken, W.: A Boundary Notation for Visual Mathematics. In: 1992 IEEE Workshop on isual Languages, Seattle, pp. 267\u2013269. IEEE Press, Los Alamitos (1992)"},{"key":"9_CR8","volume-title":"The Logical Status of Diagrams","author":"S. Shin","year":"1994","unstructured":"Shin, S.: The Logical Status of Diagrams. Cambridge Univ. Press, Cambridge (1994)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0140-1750(80)90008-1","volume":"3","author":"L.H. Kauffman","year":"1980","unstructured":"Kauffman, L.H., Varela, F.J.: Form Dynamics. J. Soc. Biol. Structures\u00a03, 171\u2013206 (1980)","journal-title":"J. Soc. Biol. Structures"},{"key":"9_CR10","volume-title":"Logical Reasoning with Diagrams","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., Etchemendy, J.: Heterogeneous Logic. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams. Oxford Univ. Press, Oxford (1996)"},{"key":"9_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"S. Shin","year":"2002","unstructured":"Shin, S.: The Iconic Logic of Peirce\u2019s Graphs. MIT Press, Cambridge (2002)"},{"key":"9_CR12","volume-title":"Logic and Visual Information","author":"E. Hammer","year":"1995","unstructured":"Hammer, E.: Logic and Visual Information. CSLI Publications, Stanford (1995)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Halmos, P., Givant, S.: Logic as Algebra. Mathematical Assoc. of America (1998)","DOI":"10.1090\/dol\/021"},{"key":"9_CR14","first-page":"417","volume":"31","author":"G. Birkoff","year":"1935","unstructured":"Birkoff, G.: On the Structure of Abstract Algebras. Proc. Cambridge Phil. Soc.\u00a031, 417\u2013429 (1935)","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"9_CR15","volume-title":"Matrix Logic","author":"A. Stern","year":"1988","unstructured":"Stern, A.: Matrix Logic. North-Holland\/Elsevier, Amsterdam (1988)"},{"key":"9_CR16","volume-title":"Knots and Physics","author":"L.H. Kauffman","year":"1993","unstructured":"Kauffman, L.H.: Knots and Physics, 2nd edn. World Scientific, Singapore (1993)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11783183_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T19:20:35Z","timestamp":1627500035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11783183_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356233","9783540356240"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11783183_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}