Indrzejczak, Andrzej, and Yaroslav Petrukhin. 2024. “Uniform Cut-Free Bisequent Calculi for Three-Valued Logics”. Logic and Logical Philosophy 33 (3):463-506. https://doi.org/10.12775/LLP.2024.019.