The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant

Bulletin of the Section of Logic, Tom 36, Numer 1-2 (2007) s. 45-57
Jose M. Mendez, Gemma Robles, Francisco Salto