Статья 348

Она по возможности сохранила и правила классической логики, постольку, поскольку они не влекут закона исключенного третьего принципа всезнания в конструктивной интерпретации или закона второго отрицания.

постольку

постольку

Закон двойного отрицания, как выяснил Брауэр, влечет принцип всезнания, а сам может конструктивно быть истолкован как существование Общего Решателя Задач такой же нонсенс, как вечный двигатель.
Система естественного вывода интуиционистской логики получается из системы для классической логики заменой правил на правила, в сущности служащие определением через приведение к абсурду.
Здесь - некоторое стандартное противоречие.
После такой модификации происходят следующие изменения в свойствах исчисления по сравнению с классической логикой.

Все логические связки становятся независимыми.