A proof-theoretical analysis of semiconstructive intermediate theories