A Transformative Intuitionist Logic for Examining Negation in Identity-Thinking