 According to Buridan, a syllogism is a formal consequence, and so syllogistic becomes a branch of the theory of formal consequence. As consequences, syllogisms are distinguished by their conjunctive antecedent and single-sentence consequent, and furthermore by their three terms — though this last condition is not necessary since Buridan also treats of syllogisms with more than three terms.