with Piecha, T. , 2014, 'A critical remark on the BHK interpretation of implication', Philosophia Scientiae 18 (3), 13-22.