A case study in proof-theoretic tetralateralism

We present an expansion of the paraconsistent logic N4 by operators for meaningfulness and nonsensicality. This logic contains three congruentiality-breaking unary connectives, which gives rise to a tetra-lateral sequent calculus with four different sequent arrows.