MAFFEZIOLI, P.; ORLANDELLI, E. Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate. Bulletin of the Section of Logic, [S. l.], v. 48, n. 2, p. 137–158, 2019. DOI: 10.18778/0138-0680.48.2.04. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/5441. Acesso em: 19 apr. 2024.