Nyāya Sūtras 28.2

28.2

tantrabhedāt tu khalu
sa caturvidhaḥ sarvatantrapratitantrādhikaraṇābhyupagamasaṃsthityarthāntarabhāvāt ||

Moreover, on account of the divisions of treatises:
It is of four kinds, because the established standings of a universal tenet, a particular tenet, an implied tenet, and a provisional tenet are distinct objects.