Uniform interpolation and the existence of sequent calculi

DSpace/Manakin Repository