بهار و تابستان 1402، سال چهاردهم - شماره 1 رتبه ب (وزارت علوم)
-
نویسنده : احمدزاده، سیاوش ؛ نویسنده مسئول : نبوی، لطف الله ؛
(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 )
کلیدواژه ها:مسائل بهطورمطلق حلناپذیررایانۀ خارقالعادهماشین تورینگ نامتناهیقاعدۀ نامتناهیگودل