Here are the
"Three Laws" put in formal logic notation, if it helps.
Transformation of Quantity into Quality: {B: ∫ A d^nA ≠ (A^n)/n}
Interpenetration of opposites: {S: ∃x⇒∃~x}
Negation of the negation: ∃x⇒∃~x
Check me on that, I am not too sure on the transformation of quantity into quality. :eek:
[edit] Also, the final product should be resembling proof theory, so dialectics is used as "logic", per se.