Recent philosophical and computational literature demonstrates that Hegel's dialectic-speculative logic can be and is being subjected to formalization through various logical and algorithmic frameworks.
Papers 4, 5, and 6 explicitly discuss and demonstrate ongoing efforts and frameworks for the formalization of Hegel's dialectical logic, supporting the claim without contradictory evidence in the provided literature.