The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic | Publicación