SUMMARY
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
KEYWORDS