What is the next new section after qiyās al-khalf?

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim

• Form and matter of syllogism
• Grammatical inflection
• Introduction to five predicables
• Initial definition of verbal signification