Publikacje:
Czakon Marcin (2025), Some Results Concerning Axioms for Equivalential Calculus, Bulletin of the Section of Logic Published online: June 21, 2025; 18 pages; https://doi.org/10.18778/0138-0680.2025.05

Czakon Marcin (2024), D-complete Single Axioms for the Equivalential Calculus with the rules D and R, Bulletin of the Section of Logic Published online: November 14, 2024; 11 pages, https://doi.org/10.18778/0138-0680.2024.15

Equivalential Calculus:
630 formulas as potential axioms for EC

Axioms for Equivalential Calculus 

E15 potential axioms:

45045 formulas as potential axioms for EC with Condensed Detachment 

Elimination raport (remain 6609)