Petrukhin, Yaroslav. 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.