keyword نظریه مدل ‎/ (5 Article)

Writer : علم، ابوالفضل ؛ Corresponding Author : منیری، مرتضی ؛

Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 ، ب (Ministry of Science/ISC (‎17 page(s) - From 195 to 211 )

Keywords:حساب محدودفرمول محدودمدل کامل محدودمدل همراه محدودحذف سور محدودBounded ArithmeticBounded formulaBounded model completeBounded model companionBounded quantifier eliminationمدلمحـدودنظریة مدلنظریهPVفرمولNP

Writer : دهقانی، فرزاد ؛

Journal:دین پژوهی و کارآمدی»تابستان 1402 - شماره 8 ، ب (Ministry of Science (‎18 page(s) - From 51 to 68 )

Keywords:قرآن کریمنظریه مدلنظریه نقشهروزآمدی قرآنMap TheoryModernity of QuranHoly Quranmodel theory

Writer : سیدمحمدعلی حجتی ؛ سلمان پناهی ؛

Journal:منطق پژوهی»پاییز و زمستان 1392، سال چهارم - شماره 2 ، Science-Research (Ministry of Science/ISC (‎21 page(s) - From 41 to 41، From 43 to 62 )

Keywords:رئالیسمنظریة مدلپاتنمبرهان جایگشت

Writer : حجتی، سید محمد علی ؛ سعیدی مهر، محمد ؛ شهریاری، شهرام ؛

Journal:متافیزیک»بهار و تابستان 1392 - شماره 15 ، Science-Research (Ministry of Science/ISC (‎16 page(s) - From 1 to 16 )

Keywords:ضرورتصدق منطقیجهان‌های ممکننظریة مدلبالفعل‌گراییممکن‌گراییزالتاهانسنجهاناعتبارتارسکیعملگرجمله

Writer : ابراهیمی دینانی، غلامحسین ؛ دیباجی، سید محمد علی ؛

Journal:مدرس علوم انسانی»زمستان 1379 - شماره 17 ، Science-Research (Ministry of Science/ISC (‎14 page(s) - From 109 to 122 )

Keywords:توجیهنفسصدقمجردبدنباورمادیروابط قضایارابطه همساختی معرفت شناسیمدل فلسفینظریه مدلنظریه تابعملاصدرامدلنظریههمساختیلایب‌نیتس