6 citations · 14 across the 11 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014★ 1 cited
Boole's Principles of Symbolical Reasoning
Stanley Burris, H. P. Sankappanavar
In modern algebra it is well-known that one cannot, in general, apply ordinary equational reasoning when dealing with partial algebras. However Boole did not know this, and he took…
math.LO2014★ 2 cited
Boole's Method I. A Modern Version
Stanley Burris, H. P. Sankappanavar
A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder.