A computational approach to George Boole's discovery of mathematical logic
type: Item
instance of: scholarly article
title: A computational approach to George Boole's discovery of mathematical logic
zbMATH Open document ID: 0905.03003
DOI: 10.1016/S0004-3702(97)00017-9
author: Luis de Ledesma
author: Aurora Pérez
author: Daniel Borrajo
author: Luis M. Laita
published in: Artificial Intelligence
publication date: 1998-07-23T00:00:00Z
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A55
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 03G05
zbMATH DE Number: 1178853
zbMATH Keywords: computational model of Boole's discovery of logic as a part of mathematics
zbMATH Keywords: algebraization of logic
MaRDI profile type: Publication
cites work: Q3055596
cites work: Q5075257
cites work: Q3281052
cites work: Q3926537
cites work: The calculus of operations and the rise of abstract algebra
cites work: The influence of Boole's search for a universal method in analysis on the creation of his logic
cites work: Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan
cites work: Boolean algebra and its extra-logical sources: the testimony of mary everest boole
cites work: Q3677198
cites work: Q3216616
full work available at URL: s0004-3702(97)00017-9
OpenAlex ID: W2019162036
description: scientific article; zbMATH DE number 1178853