2 citations · 3 across the 3 of their papers we have counts for
3 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.
math.LO2010
Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
Jason Bell, Stanley Burris, Karen Yeats
Let $\cT$ be a monadic-second order class of finite trees, and let $\bT(x)$ be its (ordinary) generating function, with radius of convergence . If then $\cT$ has an exp…