 Subsequently Jaśkowski (Jaśkowski 1936) showed that intuitionistic propositional logic can be given a many-valued semantics in terms of infinitely many truth-values. For further discussion of many-valued logics, see for example the entry on  many-valued logic  in this encyclopedia as well as van Stigt’s article on intuitionistic logic in Mancosu 1998.