6 citations · 14 across the 11 of their papers we have counts for
5 papers · 1 filter
Discovering an Algebra of Classes in the Algebra of Numbers -- from George Boole to the Present
Stanley Burris
An examination of George Boole's mysterious use of the Algebra of Numbers to create an Algebra of Logic, and subsequent research connected to this.
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…
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.
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…
Spectra and Systems of Equations
Jason Bell, Stanley Burris, Karen Yeats
In a previous work we introduced an elementary method to analyze the periodicity of a generating function defined by a single equation y=G(x,y). This was based on deriving a single…