 The thought behind LFIs is that we should respect classical logic as much as possible. It is only when there is a contradiction that logic should deviate from it. This means that we can admit the validity of ECQ in the absence of contradictions. In order to do so, we encode ‘consistency’ into our object language by \(\circ\). Then \(\vdash\) is a consequence relation of an LFI iff