E. J. Lemmon

• Calculi of pure strict implication