HH∗−intuitionistic heyting valued Ω-algebra and homomorphism
- سال انتشار: 1396
- محل انتشار: مجله ابرساختارها، دوره: 6، شماره: 0
- کد COI اختصاصی: JR_JHSMS-6-0_006
- زبان مقاله: انگلیسی
- تعداد مشاهده: 61
نویسندگان
Department of Mathematics, University of Mersin, iftlikky Campus, Mersin, Turke
Department of Mathematics, University of Mersin, iftlikky Campus, Mersin, turke
چکیده
Intuitionistic Logic was introduced by L. E. J. Brouwer in[۱] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[۴]. The concept of Heyting algebra has been accepted as the basis for intuitionistic propositional logic. Heyting algebras have had applications in different areas. The coHeyting algebra is the same lattice with dual operation of Heyting algebra[۵]. Also, co-Heyting algebras have several applications in different areas. In this paper, we introduced the new concept HH∗− Intuitionistic Heyting Valued Ω-Algebra. The purpose of introducing this new concept is to expand the field of researchers’ area using both membership degree and non-membership degree. This allows us to get more sensitive results.The HH∗− Intuitionistic Heyting valued set, HH∗− Intuitionistic Heyting valued relation, HH∗− Intuitionistic Heyting valued Ω-algebra and the homomorphism over HH∗− Intuitionistic Heyting valued Ω-algebra were defined.کلیدواژه ها
Heyting Valued Algebra, co-Heyting Valued Algebra, Omega Algebra, Intuitionistic Logicاطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.