This is rectified by a modified definition of logical consequence as given in Dunn and Belnap 1968.
这由 Dunn 和 Belnap 在 1968 年给出的逻辑推论的修改定义所矫正。