پاییز و زمستان 1400، سال دوازدهم - شماره 2 رتبه ب (وزارت علوم)
-
نویسنده : اسدی، مهدی ؛
(27 صفحه - از 3 تا 29 )
کلیدواژه ها:وجود ذهنیحافظهعلم اجمالیاستدلال های پیچیدهاثبات به کمک رایانهذهناستدلالبـهواهب الصوریقینتصوررایانهمـا
-
نویسنده مسئول : پوردانش، سعید ؛ نویسنده : بهنیافر، مهدی ؛
(23 صفحه - از 33 تا 55 )
کلیدواژه ها:مدلسمانتیکنظریه برهاننتیجه ی منطقیمفهوم عام نتیجه ی منطقیتارسکیمفهـومکـهبـهمفهومیـا
-
نویسنده : همتایی، حسن ؛ نبوی، لطف اله ؛ نویسنده مسئول : حجتی، سید محمد علی ؛
(26 صفحه - از 59 تا 84 )
کلیدواژه ها:زالتاماینونگوحدت گزارهرمزانشنمونشحملگزارههـاخاصیتخاصـیتبـه
-
نویسنده : حسینپور، غلامرضا ؛
(21 صفحه - از 87 تا 107 )
کلیدواژه ها:استراوسونآستیننظریه صدقاظهارات انشائیمحمول صادقصدقجملهفعلاظهارکـه
-
نویسنده : زارعت پیشه، محمود ؛
(16 صفحه - از 111 تا 126 )
کلیدواژه ها:حملحمل اولیحمل شایعاینهمانیحمل الشیء علی نفسهاینهمانیمیردامادملاصدرا
-
نویسنده : شعبانی صمغ آبادی، محسن ؛
(20 صفحه - از 129 تا 148 )
کلیدواژه ها:سمنتیک زبان های طبیعیاسم های شماراسم های ناشمار انضمامیپارشناسی (نظریه ی جزء و کل)نظریه ی مجموعه هاناشماراسمهـاشمارردهبـهآبزبان
-
نویسنده : شیرمحمدزاده ملکی، فاطمه ؛
(23 صفحه - از 151 تا 173 )
کلیدواژه ها:معناشناسی همسایگیمنطق زیرشهودیمنطق وجهی غیر نرمالمنطق وجهی دوموضعیهمتای وجهیمنطققابشهودیهمسایگیمنطـق
-
نویسنده : عطارزاده، علی رضا ؛
(16 صفحه - از 177 تا 192 )
کلیدواژه ها:مادهکلیتوحدت تعریفارسطوتعریفتعریـفمابعدالطبیعهذاتوحدتارسـطو
-
نویسنده : علم، ابوالفضل ؛ نویسنده مسئول : منیری، مرتضی ؛
(17 صفحه - از 195 تا 211 )
کلیدواژه ها:حساب محدودفرمول محدودمدل کامل محدودمدل همراه محدودحذف سور محدودمدلمحـدودنظریة مدلنظریهPVفرمولNP
-
نویسنده : فلاحی، اسدالله ؛
(20 صفحه - از 215 تا 234 )
کلیدواژه ها:ارسطوقضیه خارجیهقضیه حقیقیهقیاس های وجهیقضایای حقیقیهخارجیهقیاسمنطقبـهمثالکـه
-
نویسنده : مفیدی، علیرضا ؛
(15 صفحه - از 237 تا 251 )
کلیدواژه ها:منطق انتگرال بیکرانقضیه فراضربقضیه فشردگیفضاهای LPمنطقاندازهبـاقضیهبـهساختارها
-
نویسنده : نباتی، فرشته ؛
(20 صفحه - از 253 تا 272 )
کلیدواژه ها:منطق مرتبه دومتئوفراستسگزاره های دارای حد اضافهقیاس های دارای حد اضافهقیاسارسطوگزارههـااضافهقیـاسحـدحملیمنطق