بهار و تابستان 1402، سال چهاردهم - شماره 1 التصنيف ب (Ministry of Science)
-
مؤلف : احمدزاده، سیاوش ؛ كاتب مسؤول : نبوی، لطف الله ؛
(19 صفحة - من 3 إلی 21 )
الکلمات المفتاحية:منطقهای فراسازگارپارادوکس کرینظریه صدق تارسکینظریهی صدق عرفیقاعده انقباض
-
مؤلف : آریش، کورش ؛
(32 صفحة - من 25 إلی 56 )
الکلمات المفتاحية:ادات منطقیپاتنامنظریه تنوع معناییمنطق نامتعارفمورتنکواین
-
مؤلف : دارابی، علیرضا ؛
(27 صفحة - من 59 إلی 85 )
الکلمات المفتاحية:قاعده نقض تالیشرطی متصل جزئیهمنطق سینوی
-
مؤلف : شیرمحمدزاده ملکی، فاطمه ؛
(14 صفحة - من 89 إلی 102 )
الکلمات المفتاحية:تمامیتمنطق وجهی نرمالمنطق وجهی نرمال دوموضعیمعناشناسی کریپکی دوموضعیتعبیر پایدارمعناشناسی کریپکی
-
مؤلف : فلاحی، اسدالله ؛
(22 صفحة - من 105 إلی 126 )
الکلمات المفتاحية:منطق ربطمنطق کلاسیکنظام تابعارزشینظام غیرتابعارزشی
-
مؤلف : مجلسی کوپائی، فاطمه ؛ كاتب مسؤول : قاری، مهرداد ؛
(17 صفحة - من 129 إلی 145 )
الکلمات المفتاحية:منطق توجیهمنطق پویای گزارهایخاصیت درونی سازیمدلهای کریپکی- فیتینگقضیه تمامیتمدلهای کانونی
-
مؤلف : معصومی، سعید ؛
(24 صفحة - من 149 إلی 172 )
الکلمات المفتاحية:نظریههای علمیواقعگرایی ساختاریمشاهدهناپذیرهارمزیسازیاشکال نیومن
-
كاتب مسؤول : مقدم، غلامعلی ؛ مؤلف : اندرزگو، علیرضا ؛
(20 صفحة - من 175 إلی 194 )
الکلمات المفتاحية:علامه طباطباییحمل اولی ذاتیحمل شایع صناعیحمل ذاتیات بر ذات
-
مؤلف : منیری، مرتضی ؛
(8 صفحة - من 197 إلی 204 )
الکلمات المفتاحية:مسائل بهطورمطلق حلناپذیررایانۀ خارقالعادهماشین تورینگ نامتناهیقاعدۀ نامتناهیگودل
-
مؤلف : نباتی، فرشته ؛
(24 صفحة - من 207 إلی 230 )
الکلمات المفتاحية:ضرورتراسلامکانموجهاتتابعگزارهای