M. Czakon, “Some Results Concerning Axioms for Equivalential Calculus”, B Sect Log, vol. 54, no. 3, pp. 325–341, Jul. 2025.