 The third distinctive mark of Avicenna’s logic is the distinction between so-called connective and repetitive syllogisms, which corresponds roughly to Aristotle’s distinction between categorical and hypothetical syllogisms.