"О фрагменте интуиционистской логики, полным относительно шкал Крипке с конечными областями" - читать интересную книгу автора (Шрайнер П.А.)