Robles G. Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant. LLP [Internet]. 2008 Feb. 26 [cited 2024 Jul. 27];16(4):311-22. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2007.010