Tarkasaṃgraha, 1, 43.3 anvayena vyatirekeṇa ca vyāptimad anvayavyatireki /

Tarkasaṃgraha, 1, 43.6 yatra vahnir nāsti tatra dhūmo'pi nāsti yathā mahāhrada iti vyatirekavyāptiḥ /

Tarkasaṃgraha, 1, 43.8 atra prameyatvābhidhyatvayor vyatirekavyāptir nāsti sarvasyāpi prameyatvād abhidheyatvāc ca /

Tarkasaṃgraha, 1, 43.9 vyatirekamātravyāptikaṃ kevalavyatireki yathā pṛthivī tarebhyo bhidyate gandhavattvāt /

Tarkasaṃgraha, 1, 48.9 anvayavyatirekadṛṣṭāntarahito 'nupasaṃhārī /

Tarkasaṃgraha, 1, 55.2 padasya padāntaravyatirekaprayuktānvayānanubhāvakatvam ākāṅkṣā /