نتایج جستجو برای: ابر شبه bck
تعداد نتایج: 13048 فیلتر نتایج به سال:
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
در این رساله به بحث و بررسی بعضی از خواص be -جبرها که بعنوان تعمیمی از bck - جبرها می باشند می پردازیم. محتوی این رساله از 5 فصل به شرح ذیل تشکیل شده است. فصل 1. در این فصل مفاهیم و تعاریف اولیه که در فصل های بعد مورد استفاده قرار می گیرد، آورده شده است. در فصل 2 رابطه این ساختار جبری با ساختارهای جبری دیگر بررسی شده است. در فصل 3 فیلترهای مختلف روی ای جبر تعریف شده است. در فصل 4 خواص ساختاری...
در این مقاله خواص ساختاری، الکترونی، اپتیکی و کشسانی سولفید استرانسیوم در فاز کلرید سدیم بررسی شده است. محاسبات با استفاده از روش شبه پتانسیل بارپایسته در چارچوب نظریۀ تابعی چگالی و با استفاده از نرم افزار صورت گرفته است. تابع دی الکتریک برای تابش تا حدود 40 الکترون ولت محاسبه شده است. گاف نواری به دست آمده درراستای (x-γ) 4933/2الکترون ولت است که با دیگر داده های موجود سازگاری خوبی دارد.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید