Petrukhin, Y. 2017. Natural Deduction for Four-Valued both Regular and Monotonic Logics. Logic and Logical Philosophy. 27, 1 (Jan. 2017), 53–66. DOI:https://doi.org/10.12775/LLP.2017.001.