Boole’s logic revisited from computer algebra

Luis M. Laita, L. de Ledesma, Eugenio Roanes-Lozano, A. Pérez and A. Brunori

Mathematics and Computers in Simulation (MATCOM), 2000, vol. 51, issue 5, 419-439

Abstract: 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.

Keywords: Scientific discovery; History of logic; Automatic deduction; Gröbner bases (search for similar items in EconPapers)
Date: 2000
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475499001342
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:51:y:2000:i:5:p:419-439

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().