Łukowski, Piotr. 2004. “A Deductive-Reductive Form of Logic: General Theory and Intuitionistic Case”. Logic and Logical Philosophy 10 (10):59–78. https://doi.org/10.12775/LLP.2002.004.