Petrukhin Y. Natural Deduction for Four-Valued both Regular and Monotonic Logics. LLP [Internet]. 2017 Jan. 31 [cited 2024 Apr. 18];27(1):53-66. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2017.001