1. Begründung einer Strengen Implikation,;Ackermann;Journal of Symbolic Logic,1956
2. A Modification of Ackermann's “Rigorous Implication” (abstract);Anderson;Journal of Symbolic Logic,1958
3. A Calculus for Antinomies;Asenjo;Notre Dame Journal of Formal Logic,1966