In traditional Aristotelian and modern logic, the universal affirmative statement ('All S is P') and the particular negative statement ('Some S is not P') are contradictory and cannot both be true at the same time.
The claim is a fundamental, textbook definition within standard symbolic and Aristotelian logic regarding the square of opposition. None of the retrieved papers discuss logic square relations; they cover unrelated topics like biomimetic robotics, routing algorithms, traditional sports, and machine psychology. Therefore, this is common knowledge that requires no citation.