ساختارهای پیوسته در منطق پایه مرتبه اول

سال انتشار: 1402
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 87

فایل این مقاله در 25 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_JFSA-6-1_002

تاریخ نمایه سازی: 4 مهر 1402

چکیده مقاله:

در منطق فازی مبتنی بر یک t-‎نرم پیوسته، تعبیر همه رابط های منطقی لزوما پیوسته نمی باشند. اخیرا دو توپولوژی روی مجموعه های [۰,۱]‎ و [۰,۱]^۲‎ معرفی شده اند که تعبیر همه رابط های منطقی تحت این توپولوژی ها پیوسته می باشند. در این مقاله بعد از مطالعه بیشتر خواص این توپولوژی ها، با ایده گرفتن از منطق پیوسته مرتبه اول، منطق فازی مرتبه اول پیوسته مبتنی بر یک t-‎نرم پیوسته را معرفی می کنیم و نشان می دهیم تعبیر هر فرمول در این منطق، یک تابع پیوسته می باشد.

نویسندگان

سید محمد امین خاتمی

گروه علوم کامپیوتر، دانشگاه صنعتی بیرجند، بیرجند، ایران

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • اسلامی، ا. (۱۳۹۱) منطق فازی و کاربردهای آن، انتشارات دانشگاه ...
  • خاتمی، س. م. ا. (۱۳۹۹) ابرضرب ساختارها در منطق فازی ...
  • خاتمی، س. م. ا. و پورمهدیان، م. (۱۳۹۸) منطق پیوسته، ...
  • خاتمی، س. م. ا. و خاکشور، ق. (۱۳۹۹) ساختارهای پیوسته ...
  • Ben Yaacov, I. and Berenstein, A. and Henson, C. W. ...
  • Chang, C. C. (۱۹۶۶) Continuous Model Theory, Princeton University Press ...
  • Cignoli, R. and Esteva, F. and Godo, L. and Torrens, ...
  • Cintula, P. and Navara, M. (۲۰۰۴) Compactness of fuzzy logics,Fuzzy ...
  • Esteva, F. and Godo, L. (۲۰۰۱) Monoidal t-norm based logic: ...
  • Hájek, P. (۱۹۹۸) Metamathematics of Fuzzy Logic. Kluwer Academic Publication ...
  • Khatami, S. M. A. (۲۰۲۱) Compactnees of first-order fuzzy logics,۸th ...
  • Khatami, S. M. A. (۲۰۱۸) A metric on [۰,۱] which ...
  • Khatami, S. M. A. (۲۰۲۲) Compactnees of first-order fuzzy logics,Iranian ...
  • Khatami, S. M. A. (۲۰۲۲) A metric-like topology on BL-algebras,Journal ...
  • Munkres, J. R. (۲۰۰۰) Topology, ۲nd edition, Pearson College Div ...
  • Murinova, P. and Novak, V. (۲۰۰۶) Omitting types in fuzzy ...
  • Pavelka, J. (۱۹۷۹) On fuzzy logic I, II, III.,Mathematical Logic ...
  • Tavana, N. and Pourmahdian, M. and Didevar, F. (۲۰۱۲) Compactness ...
  • نمایش کامل مراجع