2 citations · 3 across the 2 of their papers we have counts for
2 papers
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.