 The second kind of mixed hypothetical syllogisms consists of a disjunctive and a categorical premise (or several categorical premises). It is at least briefly mentioned in all of Avicenna’s logical works and receives a more extensive treatment in Qiyās VI.6, 349.1–354.12. Like some of the types discussed above, this kind of hypothetical syllogism is indirectly acknowledged to have an application outside the domain of formal logic, as Avicenna contends that, with certain qualifications, it expresses a mode of reasoning similar to that involved in the method of induction (Qiyās VI.6, Burhān I.7). This obtains when a hypothetical syllogism of this type expresses a complete division, the predication is real (ḥaqīqī), and the subject is the subject of the disjunctive proposition, in which case it is called “divided syllogism” (qiyās muqassam).