Boole's logic revisited from computer algebra

The article deals with computer algebra emulation and generalization of the main ideas that were the basis of Boole’s logic, as they were produced by him, and not as they were frequently misinterpreted in the history of Logic. The article begins with a historical account of the genesis of Boole’s logic.

[1]  Philip C Enros,et al.  The Analytical Society (1812–1813): Precursor of the renewal of Cambridge mathematics , 1983 .

[2]  Desmond MacHale,et al.  George Boole: His Life and Work , 1985 .

[3]  J. Heijenoort.  From Frege To Gödel , 1967 .

[4]  Eberhard Knobloch.  Symbolik und Formalismus im mathematischen Denken des 19. und beginnenden 20. Jahrhunderts , 1981 .

[5]  George Boole,et al.  VIII. On a general method in analysis , 1844, Philosophical Transactions of the Royal Society of London.

[6]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[7]  Marie-José Durand,et al.  Boole : 1815-1864 : l'oiseau de nuit en plein jour , 1989 .

[8]  Luis M. Laita.  Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan , 1979 .

[9]  Franz Winkler,et al.  Polynomial Algorithms in Computer Algebra , 1996, Texts and Monographs in Symbolic Computation.

[10]  John Frederick William Herschel.  XXII. Consideration of various points of analysis , 1814, Philosophical Transactions of the Royal Society of London.

[11]  Luis M. Laita.  Boolean algebra and its extra-logical sources: the testimony of mary everest boole , 1980 .

[12]  L. M. Laita,et al.  A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra , 1998 .

[13]  M Panteki.  William Wallace and the introduction of continental calculus to Britain: A letter to George Peacock , 1987 .

[14]  Emilio Briales Morales,et al.  Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic , 1991, J. Symb. Comput..

[15]  D. F. Gregory.  X.—On the Real Nature of Symbolical Algebra , 1839 .

[16]  L. Arbogast.  Du calcul des dérivations , 1800 .

[17]  Elaine Koppelman,et al.  The calculus of operations and the rise of abstract algebra , 1971 .

[18]  W. Donkin,et al.  IV. On the equation of Laplace’s functions, &c , 1857, Philosophical Transactions of the Royal Society of London.

[19]  Helena M. Pycior,et al.  George Peacock and the British origins of symbolical algebra , 1981 .

[20]  Luis M. Laita.  The Influence of Boole’s Search for a Universal Method in Analysis on the Creation of His Logic , 1977 .