Indrzejczak, Andrzej, and Yaroslav Petrukhin. “Uniform Cut-Free Bisequent Calculi for Three-Valued Logics”. Logic and Logical Philosophy, vol. 33, no. 3, July 2024, pp. 463-06, doi:10.12775/LLP.2024.019.