انجمن منطق ایران
تغییر وضعیت ناوبری
  • خانه
  • سخنرانی‌های ماهانه
  • خبرنامه
  • همایش‌ سالانه
  • روز جهانی منطق
  • تشکیلات
  • اخبار بیرون
  • ‌فراخوان‌ها

مقاله‌های پذیرفته‌شده برای همایشِ هشتم

سخنران عنوان چکیده
عامر آمیخته نسخه‌های فازی منطق موجهات 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

تاریخ ایجاد در 03 دی 1398
آخرین به روز رسانی در 14 اسفند 1399
بازدید: 188

هشتمین همایش سالانه‌ی انجمن منطق، فراخوان مقاله

برنامه‌ی زمانی همایش: 

پیوند شرکت در همایش: (شرکت در همایش برای عموم علاقه‌مندان، آزاد و رایگان است)

https://vclass2.modares.ac.ir/b/dav-p84-hhm-pra

توجّه: در راستای هم‌نوایی با شرایط خاص پیش آمده به سببِ همه‌گیریِ کرونا، و برای حفظ سلامتیِ مخاطبان، برگزاری همایش به صورت مَجازی خواهد بود.

 تمدید مهلت ارسال مقالات: با توجه به شرایط خاص پیش‌آمده از همه‌گیری کرونا، مهلت ارسال مقالات تا پایان دی‌ماه تمدید شد.

انجمن منطق ایران هشتمین همایش سالانه‌ی خود را با همکاری دانشگاه تربیت‌مدرّس در روزهای  چهارشنبه و پنج‌شنبه ۲۹-۳۰ بهمن  ۱۳۹۹ برگزار می‌کند.

حوزه‌های پژوهشی مرتبط عبارت‌اند از: 

۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق.

از پژوهشگران گرامی دعوت می‌شود خلاصه‌ی مقالات خود را  به آدرس زیر ایمیل کنند:

  این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید

مهلت ارسال خلاصه‌ی مقالات : ۱۲ دی ۱۳۹۹.  تا پایان دی‌ماه تمدید شد.

ثبت‌نام در همایش: از تاریخ ۱ بهمن تا ۱۵ بهمن از طریق این پیوند امکان‌پذیر است.

کمیته‌ علمی:‌ اسفندیار اسلامی، سیّدمحمّد باقری، مسعود پورمهدیان، محمّدصالح زارع‌پور، کاوه لاجوردی، لطف‌اللّٰه نبوی.

کمیته‌ اجرایی:‌ داود حسینی، علی صادق‌دقیقی، مجتبیٰ مجتهدی.

سخنرانان مدعو: محمّد اردشیر، لو بکلمیشف، علی عنایت، یوهان ون بنتهم، آلبرت ویسر.

هیئت‌ مدیره‌ی انجمن منطق ایران

تاریخ ایجاد در 01 شهریور 1398
آخرین به روز رسانی در 19 بهمن 1399
بازدید: 428
  • همایش‌های سالانه
  • فراخوان
  • فراخوان مقاله
  • هشتمین همایش سالانه

آخرین مطالب

  • دومین بزرگ‌داشت روز جهانیِ منطق
  • سومین بزرگ‌داشت روز جهانیِ منطق
  • در باره‌ی طراح لوگوی انجمن منطق ایران
  • اعضای انجمن منطق ایران (۹۹-۹۸)
  • برنامه‌ی زمانیِ هشتمین همایش سالانه انجمن منطق

سخنرانی‌ها

  • منطق (وجهی) احتمال
  • ساده آری، پیچیده خیر
  • وامداری سهروردی به ابن‌سینا در نظریۀ قیاس
  • درباره‌ی استدلالی غیرصوری در مقاله‌ی کلاسیکِ گودل (۱۹۳۱)
  • در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی

کانال تلگرام:      ای-میل: info@ialogic.ir    اساس‌نامه‌ی انجمن:  

بالا

© 2021 انجمن منطق ایران