Petrukhin, Yaroslav. 2016. “Natural Deduction for Three-Valued Regular Logics”. Logic and Logical Philosophy 26 (2):197-206. https://doi.org/10.12775/LLP.2016.025.