Constructing a Heyting Semilattice that has Wajesberg Property by Using Fuzzy Implicative Deductive Systems of Hoops
In this paper, we defined the notions of (∈, ∈)-fuzzy implicative deductive systems and (∈, ∈ ∨ q)-fuzzy implicative deductive systems of hoops and studied some traits and tried to define some definitions that are equivalent to them. Thus by using the notion of (∈, ∈)- fuzzy deductive system of hoop, we defined a new congruence relation on hoop and show that the algebraic structure that is made by it is a Brouwerian semilattice, Heyting algebra and Wajesberg hoop.
- حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران میشود.
- پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانههای چاپی و دیجیتال را به کاربر نمیدهد.