تشابه در L-منطق ها

ر این مقاله، مفهوم L-جبرهای متشابه را معرفی می کنیم و خواص این جبر جدید رابررسی می نماییم. یک L-جبر متشابه یک L-جبراست که به یک عملگر دوتایی S) تشابه)مجهز شده است. وجود عملگر تشابه، باعث بوجود آمدن خواصی ویژه در این ساختار جبری میشود. در ادامه مطالعه این ساختار جبری، خواصی از این جبر بدست می آوریم و به این صورت،این جبر را طبقه بندی می کنیم. برای هر L-جبر X زیر مجموعه های X-فازی را تعریفمی کنیم و ارتباط این زیر مجموعه ها را با L-جبر های متشابه بررسی می کنیم. علاوه بر این،ایدآل های متشابه(S-ایدآل) در L-جبر های متشابه را تعریف می کنیم. با ارایه چند گزاره،قضیه و مثال، ویژگی های آن را بررسی می نماییم. سپس، L-جبر قابل عرضه را تعریف کردهو با بررسی خواص این نوع از ساختارهای جبری ارتباط آن ها را با ایدآل های اول مینیمالبدست می آوریم. علاوه بر این، منطق L-متشابه (SL (را به عنوان یک منطق فازی جدیدمعرفی می کنیم. برای ارایه این منطق فازی، ابتدا با بیان مقدماتی، فرمول های این منطق رامعرفی کرده و اصول موضوعه را بیان می کنیم و با ارایه قواعد استنتاج این منطق را ارایه میدهیم. سپس قضیه صحت و تمامیت را برای این منطق فازی اثبات می کنیم.