Indrzejczak, A., & Petrukhin, Y. (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