The Formalization of Dialectics
E. Ficara, G. Priest, History and Philosophy of Logic 44 (2023) 115–118.