فشردگی در منطق فازی مرتبه اول
یکی از زیباترین و کاربردیترین خواص منطق مرتبه اول، فشردگی سازگاری است. این خاصیت بیان میکند که یک مجموعه متناهیا سازگار، سازگار است. درجات مختلف سازگاری در منطق فازی، صورت های مختلفی از فشردگی سازگاری را در این منطقها ایجاب میکند. در این مقاله، بعد از مرور نتایج موجود در مورد فشردگی سازگاری و فشردگی K-سازگاری در منطق پایه هایک، نتایج جدیدی در مورد این موضوع ارایه میشوند. در این راستا ابتدا توپولوژی هایی روی [1,0و 2] معرفی میشوند که با در نظر گرفتن آنها، تعبیر همه روابط منطقی در منطق پایه توابع پیوسته ای [1,0p] میشوند. سپس برای هر رابطه تشابه، یک توپ ولوژی موسوم به توپولوژی تشابه روی ساختارهای مرتبه اول معرفی میشود. در نهایت با ایده گرفتن از ایده های منطق پیوسته، نتایج حول فشردگی سازگاری در منطق پایه تعمیم داده میشوند.
- حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران میشود.
- پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانههای چاپی و دیجیتال را به کاربر نمیدهد.