سومین سمینار سالانه انجمن منطق ایران در روزهای 1 و 2 دی¬ماه 1394 در دانشکده علوم انسانی دانشگاه تربیت مدرس برگزار میشود.
برای دریافت فایل از لینک زیر استفاده کنید
برای دریافت فایل از لینک زیر استفاده کنید
چکیده سخنرانی
چکیده سخنرانی
Reason, Belief and Inference سخنران: حمید وحید (پژوهشگاه دانشهای بنیادی (IPM))...
تأثیرات پیشرفتهای متأخر در نظریهی مجموعهها بر فلسفهی...
The Craig Interpolation Property in First-order Gödel Logic...
(این سخنرانی به دلیل کسالت لغو گردید و به زمان دیگری موکول شد. زمان...
پارادوکس دروغگو در منطق نمادین سیاوش احمدزاده چکیده: با وجود...