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