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