• ''Hetucakra'' (laLa rueda de la razón lógica), considerado como su primer texto de lógica formal, donde introdujo la noción de vyāpti, conexión universal (por ejemplo entre humo y fuego), que se puede vincular en la filosofía occidental a la noción de concomitancia o implicación lógica. También estableció tres condiciones requeridas por un signo o marca para hacer válida una inferencia (hetu): Que esté presente en el caso u objeto que se examina (paksa), que esté presente en instancias similares (sapaksa), y que esté ausente en instancia disímiles. (vipaksa).En el Hetucakra Dignāga construye una matriz de nueve terminos medios, de los cuales dos resultan en conclusiones válidas, dos son contradictories y el resto de conclusión incierta.
• ''Ālambana-parīkṣā'' (investigaciónInvestigación de las causas) obra perdida en su original sánscrito, se conservaconservó en tibetano y, parcialmente, en chino.
• ''Pramāṇa-samuccaya'' (Compendio sobre el conocimiento válido). Esta obra, que condensa su producción, estableció las bases de la lógica budista.. En ella Dignāga da una nueva definición de percepción: es el conocimiento que está libre de toda construcción conceptual, .Para él, sólo la sensación pura constituye una percepción. En cuanto a la inferencia distinguió entre inferencia por uno mismo e inferencia por otro.
• ''Pramāṇa-samuccaya'' (compendio sobre el conocimiento válido).
SusEstas obras, que permanecieron casi inaccesibles durante siglos se han reeditado en elépoca último sigloreciente en India, Estados Unidos, (Harvard University Press), Francia y Bhután.
