PETRUKHIN, Yaroslav. Natural Deduction for Four-Valued both Regular and Monotonic Logics. Logic and Logical Philosophy. Online. 31 January 2017. Vol. 27, no. 1, pp. 53-66. [Accessed 7 July 2025]. DOI 10.12775/LLP.2017.001.