T. Thacher Robinson. Independence of two nice sets of axioms for the propositional calculus. The journal of symbolic logic, vol. 33 (1968), pp. 265–270.

Journal of Symbolic Logic · 1970 · 69 citations · 0 references