A computational approach to George Boole's discovery of mathematical logic

DOI10.1016/S0004-3702(97)00017-9zbMath0905.03003OpenAlexW2019162036MaRDI QIDQ1392259

Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita

Publication date: 23 July 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(97)00017-9

zbMATH Keywords

algebraization of logiccomputational model of Boole's discovery of logic as a part of mathematics

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Logical aspects of Boolean algebras (03G05)

Related Items (1)

Principles of human-computer collaboration for knowledge discovery in science

Cites Work

• The calculus of operations and the rise of abstract algebra
• Boolean algebra and its extra-logical sources: the testimony of mary everest boole
• The influence of Boole's search for a universal method in analysis on the creation of his logic
• Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A computational approach to George Boole's discovery of mathematical logic