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 27 July 2024]. DOI 10.12775/LLP.2007.010.