ابنسینا (1405ق الف)، منطق الشفاء، کتاب العباره، قم: کتابخانۀ آیۀالله مرعشی.
ابن سینا (1405ق ب)، منطق المشرقیین، قم: کتابخانۀ آیۀالله مرعشی.
ابن سینا (1404ق)، الشفاء (الطبیعیات)، تحقیق سعید زاید، قم: کتابخانۀ آیۀالله مرعشی.
باستین، حامد (1392)، «انتقال ضرروت در موجهات ارسطو، نگاهی ارسطویی»، مجلۀ منطقپژوهی، س 4، ش 2.
حلى، حسن بن یوسف (1412ق)، القواعد الجلیة فی شرح الرسالة الشمسیة، تحقیق فارسى حسون، قم: مؤسسة النشر الاسلامى.
رازی، قطبالدین محمد (1384)، تحریر القواعد المنطقیۀ، تصحیح محسن بیدارفر، قم: بیدار.
زالی، مصطفی (1397)، «معانی دوگانۀ ضرورت نزد ابنسینا: پاسخ به اشکالی مشهور در قیاس موجهات ارسطو»، حکمت سینوی، دورۀ 22، ش 60.
سبزوارى، ملا هادی (1360)، التعلیقات على الشواهد الربوبیة، تصحیح سیدجلالالدین آشتیانى، مشهد: مرکز الجامعى للنشر.
سبزوارى، ملا هادی (1379)، شرح المنظومه، تصحیح و تعلیق حسن حسنزادۀ آملى، تهران: نشر ناب.
شیرازی، محمد بن ابراهیم (صدرالمتالهین) (1362)، اللمعات المشرقیة فى الفنون المنطقیة، تصحیح مشکاة الدینى، تهران: آگاه.
شیرازی، محمد بن ابراهیم (صدرالمتالهین) (1981)، الحکمة المتعالیة فى الاسفار العقلیة الاربعۀ، بیروت: دار احیاء التراث العربی.
طباطبایی(1362)، نهایۀ الحکمه، قم: مؤسسۀ نشر اسلامی.
طوسى، نصیرالدین(1371)، الجوهر النضید، تصحیح محسن بیدارفر، قم: بیدار.
فارابى، محمد ابن طرخان (1408ق)، المنطقیات، تحقیق محمدتقى دانشپژوه، قم: کتابخانۀ آیۀالله مرعشی.
قاعدی فرد، ابوذر (1394)، «نقیض مرکبات موجهۀ جزئیه نزد خونجی»، مجلۀ منطقپژوهی، س 6، ش 2.
کاتبى، نجمالدین على(1384)، الرسالة الشمسیة، تحقیق محسن بیدارفر، قم: بیدار.
کرد فیروزجایی، یارعلی (1385)، »مقایسۀ مبنای منطق سنتی و منطق فرگه در تحلیل قضیه»، معارف عقلی، ش 1.
مطهری، مرتضی (1369)، الهیات شفا، تهران: حکمت.
نبوی، لطفالله (1389)، «جهت متافیزیکی، جهت محمول، و نظریۀ ”ضرورت بتاته“» مجلۀ متافیزیک، دورۀ 2، ش 7.
یزدى، مولى عبدالله (1412ق)، الحاشیة على تهذیب المنطق، قم: مؤسسة النشر الاسلامى.