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.

MoreLess

Year of publication:	2000
Authors:	Laita, Luis M. ; de Ledesma, L. ; Roanes-Lozano, Eugenio ; Pérez, A. ; Brunori, A.
Published in:	Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 51.2000, 5, p. 419-439
Publisher:	Elsevier
Subject:	Scientific discovery \| History of logic \| Automatic deduction \| Gröbner bases

Online Resource

Check full text access |

More access options

Check Google Scholar

In libraries world-wide (WorldCat)

In German libraries (KVK)

subito order

I need help

More details

Type of publication:	Article
Source:	RePEc - Research Papers in Economics

Persistent link: https://www.econbiz.de/10011050338