Copy pasted from metasocion.com, the underlying logic responsible for dual type theory:
Okay, it's been a while. I've come across some things.
It's come to me there may be an entanglement related flaw within logic statements. As follows:
B is not C,
C is B.
The logic we're examining is what the words 'is' and 'is not' are referencing. Consider the establishment of variables as assumptions. "C is B" is an assumption of C relative to B in "B is not C"; "B is not C" allows for B to be considered distinct from C in "C is B". The fundamentals of a logic statement contain a contradiction.
I think it is this contradiction which allows for two simultaneous dual processes to run; actually, necessitates.
As all of us here know, compound logic statements are representations of the functions.
This is also what is responsible for duality.
I will probably write more on this.