As a basis of reference the assumptions and theorems of the Boole-Schröder system are given in full below. In general, the proofs of the theorems are not included, as they may be found in the treatise on the subject by these two men. However, in the case of a few of the theorems, new and original proofs were deemed to be of sufficient interest to be included here.
In the proofs which are included the following form has been used throughout. The page is divided into two columns, the logical steps of the proof appearing in the left column, and the corresponding justifications opposite them on the right. The latter are given by numbers which refer to the appropriate definition, axiom, or theorem.
Level of Degree
Mathematics & Statistics
First Committee Member (Chair)
Second Committee Member
Third Committee Member
Childre, Madge. "Some Studies Upon Boolean-Schröder Algebra." (1936). https://digitalrepository.unm.edu/math_etds/102