His interest in economical bases for propositional and pure implicational logics, initially aroused by his study of Peirce, was stimulated by Łukasiewicz’s article ‘The Shortest Axiom of the Implicational Calculus of Propositions’, and the opening chapters of Formal Logic draw heavily on Łukasiewicz’s work in this area.