Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Logic and Logical Philosophy, Tom 16, Numer 4 (2007) s. 311-322
Gemma Robles