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