کلمة المفتاح justification logic / (3 مقالة)
- الترتيب
- تأريخ
- مجلة منطق پژوهی 3
-
1.
كاتب مسؤول : نبوی، فاطمه سادات ؛ مؤلف : کامکار، حسین ؛ آیت‌اللهی، زینت ؛ شهبازی، علیرضا ؛
مجلة:منطق پژوهی»پاییز و زمستان 1402، سال چهاردهم - شماره 2 ، ب (Ministry of Science/ISC (21 صفحة - من 205 إلی 225 )
الکلمات المفتاحية:منطق توجیهصوری‌سازی اصول فقهمنطق Count Asمنطق غیریکنوااماراتاصول عملیه
-
2.
مؤلف : مجلسی کوپائی، فاطمه ؛ كاتب مسؤول : قاری، مهرداد ؛
مجلة:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 ، ب (Ministry of Science/ISC (17 صفحة - من 129 إلی 145 )
الکلمات المفتاحية:منطق پویای گزاره‌ایخاصیت درونی سازیمدل‌های کریپکی- فیتینگقضیه تمامیتمدل‌های کانونیمنطق توجیه
-
3.
مؤلف : قاری، مقداد ؛
مجلة:منطق پژوهی»بهار و تابستان 1400، سال دوازدهم - شماره 1 ، ب (Ministry of Science/ISC (23 صفحة - من 131 إلی 153 )
الکلمات المفتاحية:نقطه ثابتمنطق مسور اثبات هاپارادوکس امتحان غیر منتظرهپارادوکس دانامنطق توجیهپارادوکسپارادوکس امتحان غیرمنتظرهمنطقاثباتبـاهـا