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

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

similarity l-logics

the main goal of this paper is to present similarity l - algebra and consider the properties of this new algebras. a similarity l - algebra is an l - algebra endowed with a binary operation s that verifies certain additional properties. also, we study their properties and obtain that the class of all similarity triangle algebras form a variety. next , we give some properties of the similarity l – algebras. for any l – algebra x , we define x – fuzzy subset and consider the relationship between similarity l – algebras and x – fuzzy subsets.in addition, we introduce and investigate similarity ideals in similarity l - algebras. we consider the properties of similarity ideals by some propositions , theorem and examples . the notion of representable similarity l – algebras and prove (x, s) is representable if and only if any minimal prime ideal is an s-ideal of x. moreover, we present similarity l -logic (sl), a system of many valued logic. for introduce the notion of similarity l- logics, firstly give some introduction, the formulas, the axioms and the inference rules. the notion of the logic of the similarity l - algebras were introduced to prove their soundness and completeness.