قرآن.
ابنعباس، عبدالله (1993). غریب القرآن فى شعر العرب، تحقیق محمد عبد الرحیم و احمد نصرالله، بیروت: مؤسسة الکتب الثقافیه.
ابنقتیبه، عبدالله بن مسلم (1423 ق). تأویل مشکل القرآن، تحقیق ابراهیم شمسالدین، بیروت: دار الکتب العلمیة.
ابوعبیده، معمر بن مثنى (1381 ق). مجاز القرآن، تحقیق محمدفواد سزگین، قاهره.
تیدمن، پل و هاوارد کهین (1383). منطق جملهها، ترجمة رضا اکبری، تهران: دانشگاه امام صادق (ع).
بلخی، مقاتل بنسلیمان (1423 ق). تفسیر مقاتل بن سلیمان، تحقیق عبدالله محمود شحاته، بیروت: دار إحیاء التراث.
زراعتپیشه، محمود و عاطفه رنجبر دارستانی (1393). «منطق طریق اولایی در قرآن»، منطقپژوهی، س 5، ش 2.
زراعتپیشه، محمود (1393). «حکمت متعالیه و منطق طریق اولایی»، خردنامه، ش 78.
سبزواری نجفی (1419 ق). إرشاد الأذهان إلى تفسیر القرآن، بیروت: دارالتعارف للمطبوعات.
طباطبایی، سیدمحمدحسین (1374). المیزان، ترجمة سیدمحمدباقر موسوى همدانى ، قم: دفتر انتشارات اسلامى جامعة مدرسین حوزة علمیة قم.
طبرسی، احمد بن علی (1403 ق). الاحتجاج، مشهد: نشر مرتضی.
طبری، محمد بن جریر (1412ق). جامع البیان فى تفسیر القرآن، بیروت: دار المعرفة.
طیب، سیدعبدالحسین (1378). أطیب البیان فی تفسیر القرآن، تهران: اسلام.
طوسى، محمد بن حسن (بیتا). التبیان فى تفسیر القرآن، با مقدمة شیخ آغابزرگ تهرانى و تحقیق احمد قصیر عاملى، بیروت: دار احیاء التراث العربى.
فراهیدى، خلیل بن احمد (1410 ق). کتاب العین، قم: هجرت.
مظفر، محمدرضا (1380). المنطق، تصحیح و تحقیق و تعلیق سیدعلی حسینی، نشر قدس رضوی.
مکارم شیرازی، ناصر و دیگران (1374). تفسیر نمونه، تهران: دار الکتب الإسلامیة.
موحد، ضیاء (1374). واژهنامة توصیفی منطق، تهران: پژوهشگاه علوم انسانی و مطالعات فرهنگی.
نحاس، ابوجعفر احمد بن محمد (1421 ق). اعراب القرآن، بیروت: دارالکتب العلمیة.
Sion, Avi (2013). A fortiori logic, Geneva: author.
Sion, Avi (1995). Judaic logic, Geneva: author.
