We have computed the posetification \(\mathsf {P}^{\prime }\)  or \(\mathsf {P}\)  in Section  and shown that the positivication \(L^{\prime }\)  of \(L\)  is given by Dunn's syntax ([1]}) in Section . The following result is well-known, and can be shown directly.
