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