{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:43Z","timestamp":1725490123570},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540420712"},{"type":"electronic","value":"9783540449904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44990-6_1","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:20:43Z","timestamp":1188310843000},"page":"1-19","source":"Crossref","is-referenced-by-count":0,"title":["George Boole, a Forerunner of Symbolic Computation"],"prefix":"10.1007","author":[{"given":"Luis M.","family":"Laita","sequence":"first","affiliation":[]},{"given":"Luis","family":"de Ledesma","sequence":"additional","affiliation":[]},{"given":"Eugenio","family":"Roanes-Lozano","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Brunori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Adams, V., Loustanau, P., An Introduction to Gr\u00f6bner bases. Graduate Studies in Mathematics 3. Providence, RI, American Mathematical Society Press (1994).","DOI":"10.1090\/gsm\/003\/03"},{"key":"1_CR2","unstructured":"Alonso, J.A., Briales, E., L\u00f3gicas polivalentes y bases de Gr\u00f6bner. In: Vide, M. (ed), Proceedings of the V Congress on Natural Languages and Formal Languages (1989), 307\u2013315. Barcelona, Spain, P.P.U. Press."},{"key":"1_CR3","unstructured":"Boole, G, An address on the genius and discoveries of Sir Isaac Newton (Lincoln, 1835)."},{"key":"1_CR4","first-page":"97","volume":"2","author":"G. Boole","year":"1841","unstructured":"Boole, G., On certain theorems in the calculus of variations. The Cambridge Mathematical Journal 2 (1841), 97\u2013102.","journal-title":"The Cambridge Mathematical Journal"},{"key":"1_CR5","first-page":"67","volume":"2","author":"G. Boole","year":"1841","unstructured":"Boole, G., Researches on the theory of analytical transformations with a special application to the reduction of the general equation of the second order. The Cambridge Mathematical Journal 2 (1841), 67\u201373.","journal-title":"The Cambridge Mathematical Journal"},{"key":"1_CR6","first-page":"114","volume":"2","author":"G. Boole","year":"1841","unstructured":"Boole, G., On the integration of linear differential equations with constant coefficients. The Cambridge Mathematical Journal 2 (1841), 114\u2013119.","journal-title":"The Cambridge Mathematical Journal"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1098\/rstl.1844.0008","volume":"134","author":"G. Boole","year":"1844","unstructured":"Boole, G., On a general method in analysis, Philosophical Transactions of the Royal Society of London 134 (1844), 225\u2013286.","journal-title":"Philosophical Transactions of the Royal Society of London"},{"key":"1_CR8","first-page":"10","volume":"1","author":"G. Boole","year":"1846","unstructured":"Boole, G., On the equations of Laplace\u2019s function. The Cambridge and Dublin Mathematical Journal 1 (1846), 10\u201322.","journal-title":"The Cambridge and Dublin Mathematical Journal"},{"key":"1_CR9","first-page":"7","volume":"2","author":"G. Boole","year":"1847","unstructured":"Boole, G., On a certain symbolical equation. The Cambridge and Dublin Mathematical Journal 2 (1847), 7\u201312.","journal-title":"The Cambridge and Dublin Mathematical Journal"},{"key":"1_CR10","unstructured":"Boole, G., The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning, Cambridge and London (1847), 4\u20135. Reprinted in: Boole, G., Studies in Logic and Probability, Ed. R. Rhees, London (1952)."},{"key":"1_CR11","unstructured":"Capani, A., Niesi, G., CoCoA user\u2019s manual, Dept. of Mathematics University of Genova (1996)."},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0747-7171(08)80043-0","volume":"11","author":"J. Chazarain","year":"1991","unstructured":"Chazarain, J., Riscos, A., Alonso, J.A., Briales, E.. Multivalued logic and Gr\u00f6bner bases with applications to modal logic. Journal of Symbolic Computation 11 (1991) 181\u2013194.","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR13","unstructured":"Cobham ed, E.M., Mary Everest Boole, Collected works (4 vols.), London (1931)."},{"key":"1_CR14","unstructured":"Cobham, E.M., Mary Everest Boole, A Memoir with some letters, Ashingdon (1951)."},{"key":"1_CR15","unstructured":"Daniel, F., A Teacher of Brain Liberation, London (1923)."},{"key":"1_CR16","unstructured":"De Morgan, A., On the structure of the syllogism, Trans. Cambridge Phil. Soc., 8 (1846), 379\u2013408. Reprinted in: On the syllogism (edited with an introduction by Peter Heath), London (1966), 1\u201317."},{"key":"1_CR17","unstructured":"Diagne, S. B., Boole, 1815-1864; l'oisseau de nuit en plein jour, Belin, Paris (1989)"},{"key":"1_CR18","first-page":"1","volume":"91","author":"M. Everest","year":"1878","unstructured":"Everest, M., Home side of a scientific mind (1878); Cobham\u2019s Mary Everest\u2019s Collected Works,, 1\u201348. Reprinted from The Dublin University Magazine, 91 (1878), 103\u2013114, 173-183, 327-336, 454-460.","journal-title":"Cobham\u2019s Mary Everest\u2019s Collected Works"},{"key":"1_CR19","first-page":"438","volume":"2","author":"M. Everest","year":"1890","unstructured":"Everest, M.: Logic taught by love, rhythm in nature and education (printed 1890, publ. 1905); Cobham\u2019s Mary Everest\u2019s Collected Works, vol. 2, 438.","journal-title":"Cobham\u2019s Mary Everest\u2019s Collected Works"},{"key":"1_CR20","first-page":"962","volume":"3","author":"M. Everest","year":"1901","unstructured":"Everest, M.: Indian thought and western science in the nineteenth century (written 1901, publ. 1909), Cobham\u2019s Mary Everest\u2019s Collected Works, vol. 3, 962.","journal-title":"Cobham\u2019s Mary Everest\u2019s Collected Works"},{"key":"1_CR21","first-page":"565","volume":"2","author":"M. Everest","year":"1890-1899","unstructured":"Everest, M., The nineties (publ. or read 1890-1899), Cobham\u2019s Mary Everest\u2019s Collected Works, vol 2, 565.","journal-title":"Cobham\u2019s Mary Everest\u2019s Collected Works"},{"key":"1_CR22","unstructured":"Everest, M., On education, Cobham\u2019s Mary Everest\u2019s Collected Works, vol 2, 789."},{"key":"1_CR23","unstructured":"Grattan-Guinness, I., Mathematics and mathematical physics at Cambridge 1815-40: a survey of the achievements and of the French influence. In: Harman, P.M. (ed.), Wranglers and Physicists, Manchester (1985), 84\u2013111."},{"key":"1_CR24","first-page":"232","volume":"1","author":"D.F. Gregory","year":"1838","unstructured":"Gregory, D.F., Demonstrations, by the method of separation of symbols of theorems in the differential calculus and calculus of finite differences. The Cambridge Mathematical Journal 1 (1838), 232\u2013244.","journal-title":"The Cambridge Mathematical Journal"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Gregory, D.F., On the real nature of symbolical algebra. Transactions of the Royal Society of Edinburgh 14 (1840, read 7th May 1838), 208\u2013216.","DOI":"10.1017\/S0080456800021529"},{"key":"1_CR26","first-page":"257","volume":"62","author":"W. Hamilton","year":"1852","unstructured":"Hamilton, W., On the study of mathematics, as an exercise of the mind. Discussions on Philosophy and Literature, London (1852), 257\u2013313. Reprinted from: Edinburgh Review, 62 (1836), 409\u2013455.","journal-title":"Discussions on Philosophy and Literature"},{"key":"1_CR27","unstructured":"Harley, R., George Boole, F.R.S., British Quart. Rev. (1866). Reprinted in: Studies in Logic and Probability. Boole\u2019s Collected Logical Works, 425\u2013472."},{"key":"1_CR28","first-page":"149","volume":"58","author":"W. Kneale","year":"1948","unstructured":"Kneale, W., Boole and the revival of logic, Mind, 58 (1948), 149\u2013175 (155).","journal-title":"Boole and the revival of logic, Mind"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Kobloch, E., Symbolik und Formalismus im mathematischen Denken des 19. und beginnenden 20. Jahrhunderts. In: Dauben, J.M. (ed.), Mathematical perspectives. Essays on Mathematics and its historical development, New York (1981), 139\u2013165.","DOI":"10.1016\/B978-0-12-204050-4.50013-8"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BF00327101","volume":"8","author":"E. Koppelman","year":"1971","unstructured":"Koppelman, E., The calculus of operations and the rise of abstract algebra. Archive for the History of Exact Sciences 8 (1971), 155\u2013242.","journal-title":"Archive for the History of Exact Sciences"},{"key":"1_CR31","unstructured":"Laita, L. M., A study of the genesis of Boole\u2019s logic, Doctoral Dissertation, University of Notre Dame, University Microfilms International (76-4613), An Arbor Michigan, London (1976)."},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1080\/00033797700200181","volume":"34","author":"L. M. Laita","year":"1977","unstructured":"Laita, L. M., The influence of Boole\u2019s search for a universal method in analysis on the creation of his logic. Annals of science 34 (1977), 163\u2013176.","journal-title":"Annals of science"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1080\/00033797900200121","volume":"36","author":"L. M. Laita","year":"1979","unstructured":"Laita, L. M., Influences on Boole\u2019s logic: the controversy between William Hamilton and Augustus De Morgan, Annals of Science 36 (1979), 45\u201365.","journal-title":"Annals of Science"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1080\/01445348008837004","volume":"1","author":"L. M. Laita","year":"1980","unstructured":"Laita, L. M., Boolean algebra and its extralogical sources: The testimony of Mary Everest Boole, History and Philosophy of Logic 1 (1980), 37\u201360.","journal-title":"History and Philosophy of Logic"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s005000050086","volume":"3","author":"L.M. Laita","year":"1999","unstructured":"Laita, L.M., E. Roanes-Lozano, L. de Ledesma, J.A. Alonso: A Computer algebra approach to verification and deduction in many-valued knowledg systems. Soft Computing 3\/1 (1999), 7\u201319","journal-title":"Soft Computing"},{"key":"1_CR36","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1016\/S0378-4754(99)00134-2","volume":"51","author":"L. M. Laita","year":"2000","unstructured":"Laita, L. M., de Ledesma, L., Roanes-Lozano, E., P\u00e9rez, A., Brunori, A., Boole\u2019s logic revisited from computer algebra, Mathematics and Computers in Simulation 51 (2000), 419\u2013439.","journal-title":"Boole\u2019s logic revisited from computer algebra, Mathematics and Computers in Simulation"},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(97)00017-9","volume":"91","author":"L. Ledesma de","year":"1997","unstructured":"de Ledesma, L., P\u00e9rez, A., Borrajo, D., Laita, L. M., A computational approach to George Boole\u2019s discovery of mathematical logic, Artificial Intelligence 91 (1997), 281\u2013307.","journal-title":"Artificial Intelligence"},{"key":"1_CR38","unstructured":"MacFarlane, A., Lectures on ten British mathematicians of the nineteenth century (New York, 1916) 50\u201363."},{"key":"1_CR39","volume-title":"George Boole, his life and work","author":"D. MacHale","year":"1985","unstructured":"MacHale, D., George Boole, his life and work, Boole Press, Dublin (1985)."},{"key":"1_CR40","unstructured":"Mansel H.L., Veitch, J. (Eds.), Lectures on metaphysics and logic (4 vols.), vols 3 and 4, Edinburgh and London (1859-1861)."},{"key":"1_CR41","unstructured":"Panteki, M., Relationships between algebra, differential equations, and logic in England 1808-1860. Ph.D. Thesis, Council for National Academic Awards, UK (1991)(chapter 4)."},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0315-0860(81)90003-3","volume":"8","author":"H.M. Pycior","year":"1981","unstructured":"Pycior, H.M., Peacock and the British origins of symbolical algebra, Historia Mathematica 8 (1981), 23\u201345.","journal-title":"Historia Mathematica"},{"issue":"1-2","key":"1_CR43","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0378-4754(97)00088-8","volume":"45\/","author":"E. Roanes-Lozano","year":"1998","unstructured":"Roanes-Lozano, E., Laita, L.M., Roanes-Mac\u00edas, E., A polynomial model for multivalued logics with a touch of algebraic geometry and computer algebra. Mathematics and Computers in Simulation 45\/1-2 (1998), 83\u201399.","journal-title":"Mathematics and Computers in Simulation"},{"key":"1_CR44","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1098\/rsnr.1956.0005","volume":"12","author":"G. Taylor","year":"1956","unstructured":"Taylor, G., George Boole F.R.S., 1815-1864, Notes and records of the Royal Society of London, 12 (1956), 44\u201352 (47). Also in: Harley\u2019s biography, 428.","journal-title":"Notes and records of the Royal Society of London"},{"key":"1_CR45","unstructured":"Whewell, W., Thoughts on the study of mathematics as part of a liberal education, Cambridge (1835)."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44990-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:08:09Z","timestamp":1556816889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44990-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540420712","9783540449904"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-44990-6_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}