Return to Article Details Interpolation in Normal Extensions of the Brouwer Logic Download Download PDF