کلیدواژه justification logic / (4 مقاله)
- مرتب سازی
- تاریخ
-
1.
نویسنده : الوند، مسعود ؛
مجله:حکمت و فلسفه»پاییز 1399 - شماره 63 رتبه ب (وزارت علوم/ISC (26 صفحه - از 35 تا 60 )
کلیدواژه ها:بستار معرفتعملگر معرفتیمنطق معرفتتوجیهمنطقدلیل قطعیدرتسکی
-
2.
نویسنده : قاری، مقداد ؛
مجله:منطق پژوهی»بهار و تابستان 1400، سال دوازدهم - شماره 1 رتبه ب (وزارت علوم/ISC (23 صفحه - از 131 تا 153 )
کلیدواژه ها:نقطه ثابتمنطق مسور اثبات هاپارادوکس امتحان غیر منتظرهپارادوکس دانامنطق توجیهپارادوکسپارادوکس امتحان غیرمنتظرهمنطقاثباتبـاهـا
-
3.
نویسنده : مجلسی کوپائی، فاطمه ؛ نویسنده مسئول : قاری، مهرداد ؛
مجله:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 رتبه ب (وزارت علوم/ISC (17 صفحه - از 129 تا 145 )
کلیدواژه ها:منطق توجیهمنطق پویای گزارهایخاصیت درونی سازیمدلهای کریپکی- فیتینگقضیه تمامیتمدلهای کانونی
-
4.
نویسنده مسئول : نبوی، فاطمه سادات ؛ نویسنده : کامکار، حسین ؛ آیتاللهی، زینت ؛ شهبازی، علیرضا ؛
مجله:منطق پژوهی»پاییز و زمستان 1402، سال چهاردهم - شماره 2 رتبه ب (وزارت علوم/ISC (21 صفحه - از 205 تا 225 )
کلیدواژه ها:صوریسازی اصول فقهمنطق Count Asمنطق غیریکنوامنطق توجیهاماراتاصول عملیه