 This example shows that a non-truth functional connective, such as the paraconsistent negation \(\neg\) or the consistency operator \(\circ\) of bC, can be mimicked by interpreting it (via translations) into different truth-functional connectives. The idea of interpreting (or decomposing) a connective into simpler ones can be related to the notion of non-deterministic matrix semantics proposed by Avron and Lev, and mentioned in  subsection 4.3.