1. Anderson, A. R., & Belnap, N. D., Jr. (1975). Entailment. The Logic of Relevance and Necessity (Vol. I). Princeton, NJ: Princeton University Press.
2. Avron, A. (1999). On the expressive power of three-valued and four-valued languages. Journal of Logic and Computation, 9(6), 977–994. https://doi.org/10.1093/logcom/9.6.977.
3. Brady, R. T. (1982). Completeness proofs for the systems RM3 and BN4. Logique et Analyse, 25, 9–32.
4. Dunn, J. M. (2000). Partiality and its dual. Studia Logica, 65, 5–40. https://doi.org/10.1023/A:1026740726955.
5. Finn, V. K. (1969). O predpolnote klassa funktsii, sootvetstvuyushchego trekhznachnoi logike J. Łukasiewicza (The precompleteness of the class of functions that corresponds to the three-valued Logic of J. Łukasiewicz). Nauchno-tekhnicheskaya informatsiya. Ser. 2, Vol. 10, pp. 35–38 (in Russian).