LOGIC (MS 339-1009)
"If I have made any substantial improvement in logic, it is in the discovery of this manner of dealing with the imperfections of Boolians." Exhibiting and remedying imperfections of the Boolean calculus. Logic of relations, which, CSP says, he brought to essential completion in 1885 (G-1885-3). First and second intentional logic. Machines which are capable of solving problems in non-relative Boolean algebra, with an examination of the performance of one of them (Allan Marquand's, as reported in the Proceedings of the American Academy of Arts and Sciences, XXI. 303).
Boolean algebra, Intentional logic first and second, Logic (modal see Modality), Marquand Allan, The "Grand Logic" ("How to Reason: A Critic of Arguments'), Relatives logic of
LOGIC / GRAND LOGIC 1893