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