بارزتزین تفاوت آن ها در وجود و تعداد عناصر مینیمال است که این عناصر در bci-جبرها زیرجبرهای p-نیمساده را تشکیل می دهند. تفاوت دیگر آن ها در زیرجبر بودن ایده آل هایشان است کهدر bck-جبر تمام ایده آل ها زیرجبر هستند و در مقابل متناظر با آن در bci-جبر مفهوم ایده آل بسته تعریف می گردد. وجود مفهوم عناصر پوچتوان در bci-جبرها رادیکال پوچ و رادیکال k-پوچ را ایجاد می کند. سپس با توجه به این تفاوت ها گروهوارهای الحاقی را معرفی و خواص آن را بررسی می کنیم.
در این رساله ابتدا به معرفی bck-جبرها و شبه bck-جبرها پرداخته و بعضی از خواص آنها را بیان می کنیم. در ادامه ابر bck-جبرها که توسیعی از bck-جبرها می باشند را مورد بررسی قرار می دهیم و انواع ایده آلها را در این ساختار جبری معرفی و ارتباط بین آنها را بدست خواهیم آورد. مفاهیم
رساله (شامل خلاصه،اهداف،روش ها یاجرا و نتایج به دست آمده): در این رساله، ابتدا ساختارهای چ ?مدول های تعمیم یافته را bck دهیم . برای این منظور، ?جبرها را مورد مطالعه قرار م bck روی مدول که و در حالت زیرمدول را معرف ال ی کنیم. سپس، رادی م تعریف و زیرمدول های اول در آنها را معرف ?مد
دراین پایان نامه ابتدا به معرفی مجموعه های فازی ومجموعه های نرم وتعاریف مقدماتیbci -جبر می پردازیم. با استفاده از این مفاهیم مجموعه های نرم جمعی و اشتراکی روی یک bci-جبر را بررسی می کنیم. دراین راستا مطالعه ایده آل های مختلف از جمله ایده آل های نرم جمعی، اشتراکی و استلزامی روی یک
هدف این پایان نامه مطالعه خواص اساسی bck-جبرها و بررسی مفاهیم و نتایج اصلی در مورد ایده الهای آن و تعمیم مفهوم ایده الهای bck-جبرها به حالت فازی و مطالعه خواص و نتایج اساسی ایده الهای فازی آنهاست. هدف این پایان نامه مطالعه خواص اساسی bck-جبرها و بررسی مفاهیمی در مورد ایده الهای ف
هدف اصلی از نگارش این پایان نامه بررسی bl-جبرها به عنوان ساختار جبری متناظر با منطق فازی پایه (bl) است.bl-جبرها در راستای اثبات قضیه تمامیت در bl توسط هایک در سال 1998 به وجود آمده اند. توضیح آن که? در منطق فازی پایه- که توسیعی از منطق دو ارزشی است- همانند منطق کلاسیک? مفاهیم مخت
قصد داریم با معرفی مجموعه نرم و ومجموعه نرم فازی ساختار های نرم جدیدی که میتوان از انها بدست آورد را شناخت...
This paper presents a bijection between combinatorial maps and a class of enriched trees, corresponding to a class of expression trees in some logical systems (constrained lambda terms). Starting from two alternative definitions of combinatorial maps: the classical definition by
We investigate quantitative properties of BCI and BCK logics. The first part of the paper compares the number of formulas provable in BCI versus BCK logics. We consider formulas built on implication and a fixed set of k variables. We investigate the proportion between the number
The concepts of (internal, external) cubic soft sets, P-cubic (resp. R-cubic) soft subsets, R-union (resp. R-intersection, P-union, Pintersection) of cubic soft sets, and the complement of a cubic soft set are introduced, and several related properties are investigated. We apply
The notion of a (limited) commutative $T\&F$-ideal in BCK-algebras and BCI-algebras is introduced, and their properties are investigated. A relationship between a $T\&F$-ideal and a commutative $T\&F$-ideal in BCK-algebras and BCI-algebras is established, and examples to show tha