کلمة المفتاح برهان پذیری ‏/ (2 مقالة)

مؤلف : ظهیری، سید مجید ؛

مجلة:قبسات»پاییز 1385 - شماره 41 ، العلمية - النشرية (Ministry of Science/ISC (‎12 صفحة - من 211 إلی 222 )

الکلمات المفتاحية:منطقالاهیاتمنطق موجهات (Modal Logic)منطق آزاد (Free Logic)گزاره ضرور ازلیبرهان پذیرینحو ( Syntax )معنا ( Semantic )برهانکاربردآنسلمخداسیستم‌هایزالتا

مؤلف : فرامرز قراملکی، احد ؛

مجلة:قبسات»پاییز 1385 - شماره 41 ، العلمية - النشرية (Ministry of Science/ISC (‎8 صفحة - من 237 إلی 244 )

الکلمات المفتاحية:محمول بالضمیمهبرهان‌پذیریبرهان‌ناپذیریمحمول بالصمیمهگزارة ضرور ازلینظام منطقی‌ ارسطوییبرهانتبکیتنقد