Łukowski P. A deductive-reductive form of logic: General theory and intuitionistic case. LLP [Internet]. 2004 Jan. 19 [cited 2024 Apr. 25];10(10):59–78. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2002.004