Robles, Gemma. 2008. “Extensions of the Basic Constructive Logic for Weak Consistency BKc1 Defined With a Falsity Constant”. Logic and Logical Philosophy 16 (4):311-22. https://doi.org/10.12775/LLP.2007.010.