Robles, G. (2008) “Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant”, Logic and Logical Philosophy, 16(4), pp. 311–322. doi: 10.12775/LLP.2007.010.