G. Robles, “Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant”, LLP, vol. 16, no. 4, pp. 311–322, Feb. 2008.