Чем же Аристотелева логика долбанутая?

Импликацию (если р, то q) можно утверждать, только если имеется такое построение, которое, будучи объединено с построением р, автоматически дает построение q.
http://ariom.ru/wiki/IntuicionistskajaLogika

Дело в том, что такое определение импликации не позволяет утверждать бреда о Раскольникове. Услиенно ищу формальную запись аксиом интуиционистской логики (под рукой, к сожалению нет), найду, выложу. Буду признателен, если обладаете и поделитесь ссылкой.