A logical basis for constructive systems