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

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