Petrukhin, Y. “Natural Deduction for Three-Valued Regular Logics”. Logic and Logical Philosophy, vol. 26, no. 2, Aug. 2016, pp. 197-06, doi:10.12775/LLP.2016.025.