N. Kamide and H. Wansing, “Symmetric and dual paraconsistent logics”, LLP, vol. 19, no. 1-2, pp. 7–30, Jun. 2010.