The basic positive logicBK+. The basic constructive logicsB<mml:mi … | Publicación