Об интуиционистском исчислении высказываний с дополнительной логической связкойстатья