کلیدواژه truth-functional system / (4 مقاله)
- مرتب سازی
- تاریخ
-
1.
نویسنده مسئول : فلاحی، اسدالله ؛
مجله:آینه معرفت»بهار 1402 - شماره 74 رتبه ب (وزارت علوم/ISC (26 صفحه - از 21 تا 46 )
کلیدواژه ها:استنتاجتعدیدورمنطق کلاسیکنرمالنظام تابع‌‌ارزشیمنطقبرهانفرمولمادی
-
2.
نویسنده مسئول : حاج‌حسینی، مرتضی ؛ نویسنده : بهمن‌پور، حمیده ؛
مجله:آینه معرفت»پاییز 1402 - شماره 76 رتبه ب (وزارت علوم/ISC (34 صفحه - از 167 تا 200 )
کلیدواژه ها:نظام تابع‌ارزشیاصول EFQ و EQTدرستی استدلالدورمنطق کلاسیک
-
3.
نویسنده مسئول : حاجی حسینی، مرتضی ؛ نویسنده : بهمن پور، حمیده ؛
مجله:شناخت»پاییز و زمستان 1402 - شماره 89 رتبه ب (وزارت علوم/ISC (19 صفحه - از 60 تا 78 )
کلیدواژه ها:استنتاجاستلزام مادینظام غیرتابع‌ارزشیاستلزام صورینظام تابعارزشی
-
4.
نویسنده مسئول : حاجی حسینی، مرتضی ؛ ناقد : بهمن پور، حمیده ؛
مجله:منطق پژوهی»پاییز و زمستان 1402، سال چهاردهم - شماره 2 رتبه ب (وزارت علوم/ISC (35 صفحه - از 29 تا 63 )
کلیدواژه ها:تز ارسطوتز بوئتیوسروابط علی و معنایی و صوری (منطقی)