The entry on the development of intuitionistic logic in the Stanford Encyclopedia of Philosophy has now been expanded with sections on Johansson, Freudenthal, and Griss: https://plato.stanford.edu/entries/intuitionistic-logic-development/ Best wishes, Mark.