Petrukhin, Yaroslav. “Natural Deduction for Four-Valued Both Regular and Monotonic Logics”. Logic and Logical Philosophy, vol. 27, no. 1, Jan. 2017, pp. 53-66, doi:10.12775/LLP.2017.001.