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