Indrzejczak A, Petrukhin Y. Uniform Cut-Free Bisequent Calculi for Three-Valued Logics. LLP [Internet]. 2024 Jul. 26 [cited 2025 Jun. 28];33(3):463-506. Available from: https://apcz.umk.pl/LLP/article/view/47308