1.
Petrukhin Y. Natural Deduction for Three-Valued Regular Logics. LLP [Internet]. 2016 Aug. 29 [cited 2024 Mar. 29];26(2):197-206. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2016.025