جبرهای منادیک یک منطق مبتنی بر t-هنجار تکوارهای غیرتلفیقی

هدف اصلی این مقاله بررسی سورهای کلی و وجودی روی جبرهای مبتنی بر t-هنجار تکواره ای غیرتلفیقی است که معناشناسی جبری برای منطق t-هنجارهای چپ-پیوسته غیرتلفیقی و باقیمانده های آنهاست، و کالس جبرهای حاصل را IMTL -جبرهای مونادیک مینامند. ابتدا برخی از خصوصیات جبری مرتبط با آنها را مطالعه و ثابت میکنیم که گوناگونی IMTL -جبرهای مونادیک، معادلهای معنایی جبری منطق فازی مجهول مونادیک ∀ mMTL است، که معادل با منطق فازی معین (IMTL) S5 است و تمامیت ∀ IMTL را از طریق IMTL -جبرهای مونادیک تابعی نشان می- دهیم. عالوه براین، یک مطالعه سیستماتیک از ساختارهای جبری مونادیک را شروع میکنیم که به IMTL -جبرهای مونادیک مربوط میشود، که برخی از آنها MTL -جبرهای مونادیک، WNM - جبرهای مونادیک، NM -جبرهای مونادیک، BL -جبرهای مونادیک، MV -جبرهای مونادیک و جبرهای بولی مونادیک را تشکیل میدهند. در نهایت، برخی از معرفهای IMTL -جبرهای مونادیک را ارایه میدهیم. به طور خاص، IMTL -جبرهای قابل نمایش و مستقیما تجزیهناپذیر را توسط فیلترهای مونادیک مشخص میکنیم.