Logics definitionally equivalent to the basic constructive logics. The logicsBcSf,… | Publicación