THE ALGEBRAIC STRUCTURE OF THE SPENCER BROWN AND VARELA CALCULI
Ladislav Kohout, Václav Pinkava · International Journal of General Systems · 1980
The paper deals with the algebraic structure of the Spencer Brown and Varela calculi from various points of view. In the first two sections the calculi are brought into more familiar contexts, including more conventional notation, so that their originality and merit may be appreciated in a more general framework. In the next section some of the points, introduced first in a more intuitive way, are treated again with more mathematical formalism and precision, introducing also some necessary notions from the theory of universal algebras. In this way the calculi under investigation are examined with respect to some other known calculi of logic, especially the π-algebras.