Maffezioli P, Orlandelli E. Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate. B Sect Log [Internet]. 2019 Jun. 30 [cited 2025 Dec. 10];48(2):137-58. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/5441