6 citations · 16 across the 15 of their papers we have counts for
Showing 2014Show all
3 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
A note on regular De Morgan semi-Heyting algebras
Hanamantagouda P. Sankappanavar
The purpose of this note is two-fold. Firstly, we prove that the variety RDMSH1 of regular De Morgan semi-Heyting algebras of level 1 satisfies Stone identity and present (equation…
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.