A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4 | Publicación