Relational semantics for the 4-valued relevant logics BN4 and E4
Gemma Robles, José Miguel Blanco, Sandra M. López, Jesús R. Paradela, Marcos M. Recio · Logic and Logical Philosophy · 2016
The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.