Petrukhin, Y. Natural Deduction for Four-Valued Both Regular and Monotonic Logics. LLP 2017, 27, 53-66.