Czakon, M. Some Results Concerning Axioms for Equivalential Calculus. B Sect Log 2025, 54, 325-341.