@misc{indiciaeeb39c9be4e0e, title = {Uniform Cut-free Bisequent Calculi for Three-valued Logics}, author = {Andrzej Indrzejczak and Yaroslav Petrukhin}, year = {2024}, doi = {10.12775/llp.2024.019}, url = {https://arxiv.org/abs/2412.01700}, note = {Source identifier: 2412.01700} }