به گزارش مبشرین به نقل از مهر، ۱۴ منبع مهم «علم منطق» توسط محققان مرکز پژوهشی دائرة‌المعارف علوم عقلی اسلامی مؤسسه آموزشی و پژوهشی امام خمینی (ره) چکیده شده و در قالب کتاب و نرم‌افزار انتشار یافته است.
این منابع عبارتند از:
۱) المنطقیات للفارابی، ج ۱؛
۲) منطق ابن زرعة؛
۳) التحصیل؛
۴) معیار العلم فی فن المنطق؛
۵) محکّ النظر؛
۶) البصائر النصیریة فی علم المنطق؛
۷) منطق التلویحات؛
۸) منطق حکمة الإشراق؛
۹) منطق اللمحات؛
۱۰) شرح عیون الحکمة، ج ۱؛
۱۱) کشف الأسرار عن غوامض الأفکار؛
۱۲) درة التاج، ج ۳؛
۱۳) القواعد الجلیة فی شرح الرسالة الشمسیة؛
۱۴) شرح المطالع فی المنطق.