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