Robles, G. “Extensions of the Basic Constructive Logic for Weak Consistency BKc1 Defined With a Falsity Constant”. Logic and Logical Philosophy, vol. 16, no. 4, Feb. 2008, pp. 311-22, doi:10.12775/LLP.2007.010.