He developed a semantics of intuitionistic logic based on Husserl 's phenomenology .
This semantics was used by Arend Heyting in his own formalization .
He developed a semantics of intuitionistic logic based on Husserl 's phenomenology , and this semantics was used by Arend Heyting in his own formalization .