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