The basic constructive logic for a weak sense of consistency | Publicación