اصفهانى، محمدحسین (1429 ق). نهایۀ الدرایۀ فی شرح الکفایۀ. بیروت: موسسۀ آل البیت علیهم السلام لاحیاء التراث.
انصارى، مرتضى بن محمدامین (1428ق). فرائد الأصول. قم: مجمع الفکر الاسلامی.
خراسانى، آخوند محمدکاظم (1407ق). فوائد الاُصول. تهران: وزارت ارشاد.
خمینی، سید روحالله (1418ق). تنقیح الاصول. (تقریر حسین تقوی اشتهاردی). تهران: موسسه تنظیم و نشر آثار امام خمینی (ره).
روحانى، محمدصادق (1382). زبدة الأصول. تهران: حدیث دل.
صدر، سید محمدباقر (1415 ق). جواهر الأصول. (تقریر محمد ابراهیم انصارى اراکى). بیروت: دار التعارف للمطبوعات.
ــــــــــ (1417 ق). بحوث فی علم الأصول. (تقریر سید محمود شاهرودى). قم: موسسه دائرۀ المعارف فقه اسلامی بر مذهب اهل بیت علیهم السلام.
ــــــــــ (1418 ق). دروس فی علم الأصول. قم: انتشارات اسلامى.
7عراقى، ضیاءالدین (1417 ق). نهایۀ الأفکار. (تقریر محمد تقی بروجردی نجفى). قم: دفتر انتشارات اسلامی (وابسته به جامعه مدرسین حوزه علمیه قم).
فلاحی، اسدالله (1395). منطق تطبیقی. تهران: سمت.
مروارید، محمود (1384). «علم اجمالی و گزارۀ فصلی». نقد و نظر، سال دهم، شماره سوم و چهارم. صص 178-204.
مسعود، سیدحسن (1384). «ساختار معنایی و فرانظریۀ منطق معرفت و ملاحظات معرفتشناختی آن». پایاننامۀ کارشناسی ارشد. به راهنمایی لطفالله نبوی و مشاورۀ محمد لگنهاوزن. تهران: دانشگاه تربیت مدرس، دانشکدۀ علوم انسانی.
موحد، ضیاء (1398). درآمدی به منطق جدید. (ویراستار: حسین معصومی همدانی). تهران: انتشارات علمی و فرهنگی.
نائینى، محمد حسین (1352). أجود التقریرات. (تقریر سید ابوالقاسم خویی). قم: مطبعۀ العرفان.
ــــــــــ (1376). فوائد الاُصول. (همراه با تعلیقۀ مرحوم آغاضیاء عراقى). قم: جامعۀ مدرسین حوزه علمیه قم.
نبوی، فاطمهسادات و موسیوند، مریم (1398). آشنایی با منطق معرفتی. تهران: دفتر علم.
نبوی، لطفالله (1391). مبانی منطق جدید. تهران: سمت.
ــــــــــ (1396). مبانی منطق فلسفی. تهران: انتشارات دانشگاه تربیت مدرس.
هاک، سوزان (1395). فلسفۀ منطق. ترجمۀ سید محمدعلی حجتی. قم: کتاب طه.
)