HH*- INTUITIONISTIC HEYTING VALUED -ALGEBRA AND HOMOMORPHISM
Sinem Tarsuslu, Gökhan Çuvalcıoğlu · 2017
Intuitionistic Logic was introduced by L. E. J. Brouwer in[?] and Heyting algebra was dened 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 dierent areas. The co- Heyting algebra is the same lattice with dual operation of Heyting algebra[?]. Also, co-Heyting algebras have several applications in dierent 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 eld 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 dened.