Petrukhin, Yaroslav. “Natural Deduction for Three-Valued Regular Logics”. Logic and Logical Philosophy 26, no. 2 (August 29, 2016): 197–206. Accessed April 26, 2024. https://apcz.umk.pl/LLP/article/view/LLP.2016.025.