Łukowski, Piotr. “A Deductive-Reductive Form of Logic: General Theory and Intuitionistic Case”. Logic and Logical Philosophy 10, no. 10 (January 19, 2004): 59–78. Accessed April 26, 2024. https://apcz.umk.pl/LLP/article/view/LLP.2002.004.