In this paper we review the appearance of free Boolean algebras in various contexts of Mathematics. Next we build a representation of finite free Boolean algebras by means of Peirce's Alpha...

The article describes a simple decision procedure for the graphical sentential logic of philosopher C. S. Pierce, the system of alpha graphs. The decision procedure is then implemented by a LISP...

Robin Catalogue:
467.C. S . Peirce’s Lowell Lectures for 1903. Lecture 4.
A. MS., 2 notebooks, G-1903-2a, pp. 1-96.
Two volumes comprise the fourth lecture, with the first...

Robin Catalogue:
A. MS., notebook, n.p., 1903, pp. 1-31.
The first and third parts of an introduction to the alpha and beta parts of the system of existential graphs; MS. 456 is...

A. MS., n.p., [c.1903?], pp. 1-2; 1-5, incomplete, with an alternative p. 5.
The pure mathematics of existential graphs, alpha and beta parts, with definitions and permissions of...