Да, формула выводима в интуиционистской логике если она общезначима относительно
семантики Крипке. В общем-то всё то же самое, что и для классической - выводимы в точности формулы, выполненные во всех моделях - только модели надо брать немного другие.