Deductive completeness of n-valued quantification theory