The basic positive logicB+.EB+-models | Publicación