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