Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant | Publicación