तत्त्वचिन्तामणिः (Tattvacintāmaniḥ)
न्यायसिद्धान्तमुक्तावली (Nyāyasiddhānta-Muktāvalī)
तर्कभाषा (Tarkabhāṣā)
तर्कसङ्ग्रहः (Tarkasaṁgrahaḥ)