 Definition (3) applied to the Belnap matrix  determines the entailment relation of \(\mathbf{B}_4\). This  entailment relation is formalized as the well-known logic of  “first-degree entailment” (\(E_{fde}\)) introduced in  Anderson &amp; Belnap 1975 (see also Omori and Wansing 2017).