A. Karpenko and N. Tomova, “Bochvar’s Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence”, LLP, vol. 26, no. 2, pp. 207–235, Oct. 2016.