In paraconsistent logic, we have dialecticism. So is it possible to formalize the logic of Hegel, like Anton Friedrich Koch in "Hegel's on the logical big bang and the evolution of logical space", and formalize all the European philosophers' system, at least their arguments?
Hegel's logic has already been formalized by physicist and mathematician Urs Schreiber. However, there are likely only a few dozen people on earth who can understand it due to the formalization being done with cutting edge mathematical logic (such as homotopy type theory) and with a deep familiarity with the Science of Logic: https://ncatlab.org/nlab/show/Science+of+Logic
There is an attempt at formalization ( using algebraic concepts such as group, ring, etc) in Dubarle and Doz, Logique et dialectique.
A review here :
In a humorous way, one could say that Hegel's Logic can be formalized as follows :
A = non-A = A & non-A
( Being is Nothingness/ Nothingness is being / Being and Nothingness are both Becoming, which, reciprocally, is both Being and Nothingness)
See : beginning of the Science of Logic.