مقاله‌های پذیرفته‌شده برای همایشِ هشتم
| سخنران | عنوان | چکیده |
| عامر آمیخته | نسخه‌های فازی منطق موجهات R و K: حساب ابررشته‌های برچسب‌خورده |
|
| امیرهوشنگ حسین‌پور دهکردی، مجید علیزاده، علی موقّر |
Linear Temporal Public Announcement Logic: A new prespective for reasoning about the knowledge of multi-classifiers |
|
| سیدمحمّدامین خاتمی | Compactness of First-Order Fuzzy Logics | |
| کریم خانکی | Neo-Stability project and new classes of theories | |
| علیرضا دارابی | تأملی در قیاس‌هایی با مقدمه‌ای شرطی و مقدمه‌ای حملی در آثار ابن‌سینا | |
| درة‌السادات دستغیب هادی فراهانی |
یک توسیع شناختی از منطق فازی وکاشیویچ | |
| ریحانه ذوقی‌فرد محمد گلشنی |
Completeness of the provability logic GL with respect to the filter sequence of normal measures | |
| نازنین روشندل توانا | Some model theory for Rational Gödel Logics | |
| امیرحسین شرفی اسداللّه فلّاحی |
Investigation on Pretabular Logics over Classical Relevance Logic |
|
| علی فرجامی | Discursive Input/Output Logic | |
| مقداد قاری | Tableaux and interpolation for justification logics | |
| سید احمد میرصانعی | نظریه برهان برای ابداکشن مرتبه اول: حساب رشته‌ها و قواعد ساختاری |
|
| فاطمه‌سادات نبوی | صورت بندی واجب مشروط در یک منطق تکلیف | |
| همه‌ی چکیده‌ها یک‌جا | ||
پیوند شرکت در همایش: (شرکت در همایش برای عموم علاقه‌مندان، آزاد و رایگان است)
https://vclass2.modares.ac.ir/b/dav-p84-hhm-pra
- بازدید: 188
هشتمین همایش سالانه‌ی انجمن منطق، فراخوان مقاله
پیوند شرکت در همایش: (شرکت در همایش برای عموم علاقه‌مندان، آزاد و رایگان است)
https://vclass2.modares.ac.ir/b/dav-p84-hhm-pra
توجّه: در راستای هم‌نوایی با شرایط خاص پیش آمده به سببِ همه‌گیریِ کرونا، و برای حفظ سلامتیِ مخاطبان، برگزاری همایش به صورت مَجازی خواهد بود.
تمدید مهلت ارسال مقالات: با توجه به شرایط خاص پیش‌آمده از همه‌گیری کرونا، مهلت ارسال مقالات تا پایان دی‌ماه تمدید شد.
انجمن منطق ایران هشتمین همایش سالانه‌ی خود را با همکاری دانشگاه تربیت‌مدرّس در روزهای چهارشنبه و پنج‌شنبه ۲۹-۳۰ بهمن ۱۳۹۹ برگزار می‌کند.
حوزه‌های پژوهشی مرتبط عبارت‌اند از:
۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق.
از پژوهشگران گرامی دعوت می‌شود خلاصه‌ی مقالات خود را به آدرس زیر ایمیل کنند:
این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید
مهلت ارسال خلاصه‌ی مقالات : ۱۲ دی ۱۳۹۹. تا پایان دی‌ماه تمدید شد.
ثبت‌نام در همایش: از تاریخ ۱ بهمن تا ۱۵ بهمن از طریق این پیوند امکان‌پذیر است.
کمیته علمی: اسفندیار اسلامی، سیّدمحمّد باقری، مسعود پورمهدیان، محمّدصالح زارع‌پور، کاوه لاجوردی، لطف‌اللّٰه نبوی.
کمیته اجرایی: داود حسینی، علی صادق‌دقیقی، مجتبیٰ مجتهدی.
سخنرانان مدعو: محمّد اردشیر، لو بکلمیشف، علی عنایت، یوهان ون بنتهم، آلبرت ویسر.
هیئت مدیره‌ی انجمن منطق ایران
- بازدید: 428