تعداد نشریات | 27 |
تعداد شمارهها | 556 |
تعداد مقالات | 5,734 |
تعداد مشاهده مقاله | 8,018,334 |
تعداد دریافت فایل اصل مقاله | 5,389,918 |
States on implication basic algebras | ||
Iranian Journal of Fuzzy Systems | ||
دوره 17، شماره 6، بهمن و اسفند 2020، صفحه 139-156 اصل مقاله (500.58 K) | ||
شناسه دیجیتال (DOI): 10.22111/ijfs.2020.5607 | ||
نویسندگان | ||
S. M. Ghasemi Nejad* 1؛ R. A. Borzooei![]() | ||
1Department of Mathematics, Faculty of Shariaty, Tehran Branch, Technical and Vocational University (TVU), Tehran, Iran | ||
2Department of Mathematics, Shahid Beheshti University, Tehran, Iran | ||
3Department of Mathematics, University of Bojnord, Bojnord, Iran | ||
چکیده | ||
In this paper, the notions of Bosbach states and state-morphisms on implication basic algebra are introduced, along with their properties and related results. It is proved that Bosbach states coincide with Riecan states on bounded implication basic algebras. Accordingly, the relations between Bosbach states and state-morphisms are discussed. It is proved that sm is a state-morphism on IB if and only if sm is a Bosbach state and sm(x V y)=sm(x)V sm(y) . In addition, the concept of internal states on implication basic algebras is defined, and accordingly, the notions of IS-prefilters, IS-filters, and IS-congruence relations on implication basic algebras are introduced. Then, it is proved that one-to-one correspondence is available between the set of all IS-filters and IS-congruence relations on implication basic algebras. Finally, the new notion of generalized state maps from an implication basic algebra IB1 to an arbitrary implication basic algebra IB2 is defined and generalized state-morphisms and generalized internal states as two types of individual generalized state maps are introduced. This confirmed that the generalized internal states are a generalization of internal states, and the generalized state-morphisms are a generalization of state-morphisms on implication basic algebras. Finally, it is shown that a generalized internal state gs is an internal state on implication basic algebra IB if gs2=g. | ||
کلیدواژهها | ||
Basic algebra؛ implication basic algebra؛ Bosbach state؛ Rievcan state؛ state-morphism؛ internal state؛ generalized state | ||
آمار تعداد مشاهده مقاله: 255 تعداد دریافت فایل اصل مقاله: 264 |