%0 Journal Article
%A Maffezioli, Paolo
%A Orlandelli, Eugenio
%T Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
%J Bulletin of the Section of Logic
%D 2019
%P 137-158
%V 48
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2019_48_2_a2/
%G en
%F BSL_2019_48_2_a2