نتایج جستجو برای: شبه bck
تعداد نتایج: 11418 فیلتر نتایج به سال:
We study hyper pseudo BCC-algebras which are a common generalization of and BCK-algebras. In particular, we introduce different notion describe the relationship among them. Then, by choosing one these definitions, investigate for its related properties.
ابتدا به معرفی نظریه مجموعه های نا هموار که اساس آن یک رابطه هم ارزی روی مجموعه ی مرجع بوده می پردازیم سپس مجموعه های نا هموار را در ایده ال های فازی bck-جبر ها به کار می گیریم سپس ایده ال های نا هموار بالا و پایین از یک bck-جبر نسبت به یک ایده ال فازی تعریف می کنیم همچنین تقریب های بالا و پایین را در ابرbck-جبر ها به کار گرفته و مفهوم ابر زیر جبر ناهموار و ابر bck-ایده ال نا هموار معرفی می شود...
In this paper we define cut-free hypersequent calculi for some intermediate logics semantically characterized by bounded Kripke models. In particular we consider the logics characterized by Kripke models of bounded width Bwk, by Kripke models of bounded cardinality Bck and by linearly ordered Kripke models of bounded cardinality Gk. The latter family of logics coincides with finite-valued Gödel...
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)’s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Lukasiewicz, modal logics that admit the ru...
In this paper, we apply the concept of linear Diophantine fuzzy sets in BCK/BCI-algebras. respect, notions subalgebras and (commutative) ideals are introduced some vital properties discussed. Additionally, characterizations considered. Moreover, associated results for subalgebras, commutative obtained.
Abstract We explored new algebra structures such as ? —algebra, —subalgebra and —ideal in this work. In addition, we study their fundamental characteristics connections with other algebras, d/?/BCK - – subalgebras ideals. Also, some examples to illustrate our notions are given. MSC (2010): 20G05, 20D06, 20B30, 20B35
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید