منابع
1. ابن‌سینا، حسین، (964 م)، الشفاء، المنطق، القیاس، القاهره: دار الکاتب العربی للطباعه و النشر.
2. اردشیر، محمد، (1383)، منطق ریاضی، تهران: هرمس.
3. اندرتون، هربرت بی.، (1366)، آشنایی با منطق ریاضی، ترجمه‌ی غلامرضا برادران خسروشاهی و محمد رجبی طرخورانی، تهران: مرکز نشر دانشگاهی.
4. جفری، ریچارد، (1366)، قلمرو و مرزهای منطق صوری، ترجمه پرویز پیر، تهران: شرکت انتشارات علمی و فرهنگی.
5. حجتی، سید محمد علی و علیرضا دارابی، (1386)، «بررسی و مقایسه دو دلالت شناسی منطق مرتبه دوم»، مطالعات و پژوهش‌ها، مجله علمی- پژوهشی دانشکده ادبیات و علوم انسانی دانشگاه اصفهان دوره‌ی دوم، شماره 51، صص: 69 - 84.
6. دارابی، علیرضا، (1384)، بررسی نحوی و معنایی منطق درجه‌ی دوم، پایان نامه‌ی کارشناسی ارشد به راهنمایی سید محمد علی حجتی، تهران: دانشگاه تربیت مدرس.
7. رید، استیون، (1385)، فلسفه‌ی منطق ربط، ترجمه‌ی اسداله فلاحی، قم: انتشارات دانشگاه مفید.
8. طوسی، نصیر الدین، (1367)، اساس الاقتباس، تهران: انتشارات دانشگاه تهران.
9. فلاحی، اسداله، (1386الف)، نقض بولی و نقض دمورگان در منطق کلاسیک و منطق ربط، رساله‌ی دکتری به راهنمایی لطف اله نبوی، تهران: دانشگاه تربیت مدرس.
10. ـــــــــــــ، (1386ب)، «صورت‌بندی جدیدی از قضایای حقیقیه و خارجیه»، آینه معرفت 11، تابستان، صص: 30 - 61.
11. ـــــــــــــ، و لطف‌اله نبوی (1387)، «اعتبار در جهان‌های ممکن»، پژوهش‌های فلسفی - کلامی 35، بهار، صص: 69 - 88.
12. ـــــــــــــ، (1388الف)، «صورت‌بندی قضایای خارجیه با محمول وجود»، معرفت فلسفی 23، بهار، صص: 51-76.
13. ـــــــــــــ، (1388ب)، «سلب لزوم و لزوم سلب در شرطی سالبه کلیه»، معرفت فلسفی، 25، پاییز، صص: 233 - 260.
14. ـــــــــــــ، (1388ج)، «لزومی حقیقی و لزومی لفظی»، فلسفه و کلام اسلامی (مقالات و بررسی‌ها)، دفتر 1، پاییز و زمستان، صص: 107 - 129.
15. ـــــــــــــ، (1389)، «استنتاج از دو ممکن نزد ابن‌سینا و پیروانش»، کتاب ماه فلسفه، 35، مرداد، صص: 18 - 25.
)