Maffezioli, Paolo, and Eugenio Orlandelli. “Full Cut Elimination and Interpolation for Intuitionistic Logic With Existence Predicate”. Bulletin of the Section of Logic 48, no. 2 (June 30, 2019): 137–158. Accessed December 10, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/5441.