Актуальная бесконечность

10Необходимо отметить, что интуиционисты принимают несколько отличные от общепринятых записи логических операций: отрицание п (а), конъюнкция К (а, в), импликация / (а, в), дизъюнкция п (а, в) и т. д.

11 Работы С.А. Крипке: «Теорема полноты в модальной логике» (1959), «Нормальные модальные исчисления высказываний» (1963), «Ненормальные модальные исчисления высказываний» (1965).