Indrzejczak, Andrzej, and Yaroslav Petrukhin. “Uniform Cut-Free Bisequent Calculi for Three-Valued Logics”. Logic and Logical Philosophy 33, no. 3 (July 26, 2024): 463–506. Accessed June 28, 2025. https://apcz.umk.pl/LLP/article/view/47308.