{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T23:27:27Z","timestamp":1662506847533},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2012,6,26]],"date-time":"2012-06-26T00:00:00Z","timestamp":1340668800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s11787-012-0049-6","type":"journal-article","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T09:40:27Z","timestamp":1340617227000},"page":"521-534","source":"Crossref","is-referenced-by-count":5,"title":["Toward A Visual Proof System: Lewis Carroll\u2019s Method of Trees"],"prefix":"10.1007","volume":"6","author":[{"given":"Francine F.","family":"Abeles","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,26]]},"reference":[{"key":"49_CR1","unstructured":"Abeles, F. (ed.): The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces. LCSNA\/University Press of Virginia, New York\/Charlottesville (2010)"},{"key":"49_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/01445340600704481","volume":"28","author":"F. Abeles","year":"2007","unstructured":"Abeles F.: Lewis Carroll\u2019s visual logic. Hist. Philos. Logic 28, 1\u201317 (2007)","journal-title":"Hist. Philos. Logic"},{"key":"49_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1080\/01445340412331311947","volume":"26","author":"F. Abeles","year":"2005","unstructured":"Abeles F.: Lewis Carroll\u2019s formal logic. Hist. Philos. Logic 26, 33\u201346 (2005)","journal-title":"Hist. Philos. Logic"},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"Abeles, F.: From the tree method in modern logic to the beginning of automated theorem proving. In: Shell-Gellasch, A., Jardine, D. (eds.) From Calculus to Computers, pp. 149\u2013160. Mathematical Association of America, Washington, D.C. (2005)","DOI":"10.5948\/UPO9781614443032.018"},{"key":"49_CR5","first-page":"25","volume":"1","author":"F. Abeles","year":"1990","unstructured":"Abeles F.: Lewis Carroll\u2019s method of trees: its origins in studies in logic. Mod. Logic 1, 25\u201335 (1990)","journal-title":"Mod. Logic"},{"key":"49_CR6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.15173\/russell.v24i1.2056","volume":"24","author":"I. Anellis","year":"2004","unstructured":"Anellis I.: The genesis of the truth-table device. Russell: J. Bertrand Russell Stud. 24, 55\u201370 (2004)","journal-title":"Russell: J. Bertrand Russell Stud."},{"key":"49_CR7","first-page":"113","volume":"2","author":"I. Anellis","year":"1991","unstructured":"Anellis I.: Forty years of \u201cunnatural\u201d natural deduction and quantification: a history of first-order systems of natural deduction, from Gentzen to Copi. Mod. Logic 2, 113\u2013152 (1991)","journal-title":"Mod. Logic"},{"key":"49_CR8","first-page":"36","volume":"1","author":"I. Anellis","year":"1990","unstructured":"Anellis I.: From semantic tableaux to Smullyan trees: a history of the development of the falsifiability tree method. Mod. Logic 1, 36\u201369 (1990)","journal-title":"Mod. Logic"},{"key":"49_CR9","unstructured":"Anonymous: Review of symbolic logic, Part I. The Educational Times, vol. 1, p. 316 (1896)"},{"key":"49_CR10","unstructured":"Bartley, W.W. III (ed.): Lewis Carroll\u2019s Symbolic Logic. Clarkson N. Potter, New York (1977) (2nd edn 1986)"},{"key":"49_CR11","unstructured":"Berol Collection, Bobst\/Fales Library, New York University"},{"key":"49_CR12","unstructured":"Boole, G.: The Mathematical Analysis of Logic. Thoemmes, Bristol (1998) (First published in 1847)"},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"Boole, G.: An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities. New York, Dover (1958) (First published in 1854)","DOI":"10.5962\/bhl.title.29413"},{"key":"49_CR14","unstructured":"Carroll, L.: Symbolic Logic, Part 1. 4th edn. Published with The Game of Logic as The Mathematical Recreations of Lewis Carroll, Dover (1958) (First published in 1896)"},{"key":"49_CR15","volume-title":"Symbolic Logic, Part 1","author":"L. Carroll","year":"1896","unstructured":"Carroll L.: Symbolic Logic, Part 1. MacMillan, London (1896)","edition":"1"},{"key":"49_CR16","volume-title":"Symbolic Logic, Part 1","author":"L. Carroll","year":"1896","unstructured":"Carroll L.: Symbolic Logic, Part 1. MacMillan, London (1896)","edition":"1"},{"key":"49_CR17","unstructured":"Carroll, L.: The Game of Logic. Published with Symbolic Logic, Part 1 as The Mathematical Recreations of Lewis Carroll, Dover (1958) (First published in 1887)"},{"key":"49_CR18","unstructured":"Carroll, L.: Question 14122. Mathematical Questions and Solutions. The Educational Times, vol. 72, pp. 62\u201363 (1900)"},{"key":"49_CR19","unstructured":"Carroll, L.: Question 14122. Mathematical Questions and Solutions. The Educational Times, vol. 73, pp. 125\u2013126 (1900)"},{"key":"49_CR20","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1093\/mind\/IV.14.278","volume":"4","author":"L. Carroll","year":"1895","unstructured":"Carroll L.: What the Tortoise Said to Achilles. Mind N.S. 4, 278\u2013280 (1895)","journal-title":"Mind N.S."},{"key":"49_CR21","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1093\/mind\/III.11.436","volume":"3","author":"L. Carroll","year":"1894","unstructured":"Carroll L.: A Logical Paradox. Mind (N.S.) 3, 436\u2013438 (1894)","journal-title":"Mind (N.S.)"},{"key":"49_CR22","unstructured":"Curjel, H.W.: Solution to problem 14122. Mathematical questions and solutions. The Educational Times, vol. 72, pp. 63 (1900)"},{"key":"49_CR23","unstructured":"De Morgan, A.: Formal Logic: or the Calculus of Inference, Necessary and Probable. Elibron Classics, New York (2005) (First published in 1847)"},{"key":"49_CR24","first-page":"142","volume":"20","author":"G. Englebretsen","year":"2007","unstructured":"Englebretsen G.: The Dodo and the DO: Lewis Carroll and the dictum de omni. Proc. Can. Soc. History Philos. Math. 20, 142\u2013148 (2007)","journal-title":"Proc. Can. Soc. History Philos. Math."},{"key":"49_CR25","first-page":"12","volume":"23","author":"G. Englebretsen","year":"1993\/1994","unstructured":"Englebretsen G.: The properly Victorian tortoise. Jabberwocky 23, 12\u201313 (1993\/1994)","journal-title":"Jabberwocky"},{"key":"49_CR26","unstructured":"Grattan-Guinness, I.: Routes of Learning. Highways, Pathways, and Byways in the History of Mathematics. Johns Hopkins University Press, Baltimore (2009)"},{"key":"49_CR27","unstructured":"Hawker, G.: http:\/\/www.connectedglobe.com\/froggy\/index.html (2010)"},{"key":"49_CR28","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/mind\/1.1.3","volume":"1","author":"W.E. Johnson","year":"1892","unstructured":"Johnson W.E.: The logical calculus. I. General principles. Mind (N.S.) 1, 3\u201330 (1892)","journal-title":"Mind (N.S.)"},{"key":"49_CR29","unstructured":"Keene, C.A. (ed.): F. H. Bradley: Selected Correspondence. June 1872\u2013December 1904. v. 4 of the Collected Works of F. H. Bradley. Thoemmes, Bristol (1999)"},{"key":"49_CR30","unstructured":"Keynes, J.N.: Studies and Exercises in Formal Logic, 3rd edn. Macmillan, London (1894) (First published in 1884)"},{"key":"49_CR31","unstructured":"MacColl, H.: Symbolic Logic and Its Implications. Longmans Green, London (1906)"},{"key":"49_CR32","first-page":"125","volume":"73","author":"H. MacColl","year":"1900","unstructured":"MacColl H.: Solution to problem 14122. Mathematical questions and solutions from \u2018The Educational Times\u2019, 73, 125\u2013126 (1900)","journal-title":"Mathematical questions and solutions from \u2018The Educational Times\u2019,"},{"key":"49_CR33","unstructured":"MacCo1l, H.: Review of Lewis Carroll, Symbolic Logic, Part 1. The Athenaeum, pp. 520\u2013521 (1896)(published anonymously)"},{"key":"49_CR34","doi-asserted-by":"crossref","first-page":"207","DOI":"10.4000\/cps.2798","volume":"11","author":"A. Moktefi","year":"2010","unstructured":"Moktefi A.: La th\u00e9orie syllogistique de Lewis Carroll. Les Cahiers Philosophiques de Strasbourg 11, 207\u2013224 (2010)","journal-title":"Les Cahiers Philosophiques de Strasbourg"},{"key":"49_CR35","unstructured":"Moktefi, A.: Lewis Carroll\u2019s logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol. 4, pp. 1\u201349. Elsevier, Amsterdam (2007)"},{"key":"49_CR36","first-page":"189","volume":"20","author":"A. Moktefi","year":"2007","unstructured":"Moktefi A.: Lewis Carroll and the British nineteenth-century logicians on the barber shop problem. Proc. Can. Soc. History Philos. Math. 20, 189\u2013199 (2007)","journal-title":"Proc. Can. Soc. History Philos. Math."},{"key":"49_CR37","volume-title":"The Principles of Mathematics","author":"B. Russell","year":"1903","unstructured":"Russell B.: The Principles of Mathematics. Cambridge University Press, Cambridge (1903)"},{"key":"49_CR38","unstructured":"Venn, J.: Symbolic Logic, 2nd revised edn. Burt Franklin, New York (1971) (First published in 1894)"},{"key":"49_CR39","doi-asserted-by":"crossref","DOI":"10.1037\/14127-000","volume-title":"Symbolic Logic","author":"J. Venn","year":"1881","unstructured":"Venn J.: Symbolic Logic. Macmillan, London (1881)"},{"key":"49_CR40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/14786448008626877","volume":"10","author":"J. Venn","year":"1880","unstructured":"Venn J.: On the diagrammatic and mechanical representation of propositions and reasoning. Lond. Edinb. Dublin Philos. Mag. J. Sci. 10, 1\u201318 (1880)","journal-title":"Lond. Edinb. Dublin Philos. Mag. J. Sci."},{"key":"49_CR41","unstructured":"Wakeling, E.: Lewis Carroll\u2019s Diaries, vol. 9. The Lewis Carroll Society, Herefordshire (2005)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-012-0049-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-012-0049-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-012-0049-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T03:53:26Z","timestamp":1561866806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-012-0049-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,26]]},"references-count":41,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["49"],"URL":"https:\/\/doi.org\/10.1007\/s11787-012-0049-6","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,26]]}}}