Interpolation in Normal Extensions of the Brouwer Logic
Streszczenie
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
Collections