Kürbis, N., & Petrukhin, Y. (2021). Normalisation for Some Quite Interesting Many-Valued Logics. Logic and Logical Philosophy, 30(3), 493–534. https://doi.org/10.12775/LLP.2021.009