Czakon M. Some Results Concerning Axioms for Equivalential Calculus. B Sect Log. 2025;54(3):325-341. doi:10.18778/0138-0680.2025.05