Robles, G. Extensions of the Basic Constructive Logic for Weak Consistency BKc1 Defined With a Falsity Constant. LLP 2008, 16, 311-322.