منطق صدرایی، شرح التنقیح فی المنطق
تحلیل منطقی استدلالی، شرح منطق اشارات ابن سینا (نهج هفتم تا دهم)
تحلیل منطقی گزاره، شرح منطق اشارات (نهج سوم تا ششم)
ماهیت منطق و منطق ماهیت، شرح منطق اشارات (نهج اول و دوم)