ROBLES, Gemma. Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant. Logic and Logical Philosophy. Online. 26 February 2008. Vol. 16, no. 4, pp. 311-322. [Accessed 6 July 2025]. DOI 10.12775/LLP.2007.010.