HH∗−intuitionistic heyting valued Ω-algebra and homomorphism
Intuitionistic Logic was introduced by L. E. J. Brouwer in[1] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[4]. The concept of Heyting algebra has been accepted as the basis for intuitionistic propositional logic. Heyting algebras have had applications...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Mohaghegh Ardabili
2017-07-01
|
| Series: | Journal of Hyperstructures |
| Subjects: | |
| Online Access: | https://jhs.uma.ac.ir/article_2683_cb3719ee6fa26b7620b19300c0d69fb5.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849428082269618176 |
|---|---|
| author | Sinem Tarsuslu(Yılmaz) G¨okhan C¸ uvalcıo˘gl |
| author_facet | Sinem Tarsuslu(Yılmaz) G¨okhan C¸ uvalcıo˘gl |
| author_sort | Sinem Tarsuslu(Yılmaz) |
| collection | DOAJ |
| description | Intuitionistic Logic was introduced by L. E. J. Brouwer in[1] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[4]. 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[5]. 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. |
| format | Article |
| id | doaj-art-8381ae6d35d145d398c720c8b378890f |
| institution | Kabale University |
| issn | 2251-8436 2322-1666 |
| language | English |
| publishDate | 2017-07-01 |
| publisher | University of Mohaghegh Ardabili |
| record_format | Article |
| series | Journal of Hyperstructures |
| spelling | doaj-art-8381ae6d35d145d398c720c8b378890f2025-08-20T03:28:48ZengUniversity of Mohaghegh ArdabiliJournal of Hyperstructures2251-84362322-16662017-07-016Spec. 13th AHA728210.22098/jhs.2017.26832683HH∗−intuitionistic heyting valued Ω-algebra and homomorphismSinem Tarsuslu(Yılmaz)0G¨okhan C¸ uvalcıo˘gl1Department of Mathematics, University of Mersin, iftlikky Campus, Mersin, TurkeDepartment of Mathematics, University of Mersin, iftlikky Campus, Mersin, turkeIntuitionistic Logic was introduced by L. E. J. Brouwer in[1] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[4]. 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[5]. 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.https://jhs.uma.ac.ir/article_2683_cb3719ee6fa26b7620b19300c0d69fb5.pdfheyting valued algebraco-heyting valued algebraomega algebraintuitionistic logic |
| spellingShingle | Sinem Tarsuslu(Yılmaz) G¨okhan C¸ uvalcıo˘gl HH∗−intuitionistic heyting valued Ω-algebra and homomorphism Journal of Hyperstructures heyting valued algebra co-heyting valued algebra omega algebra intuitionistic logic |
| title | HH∗−intuitionistic heyting valued Ω-algebra and homomorphism |
| title_full | HH∗−intuitionistic heyting valued Ω-algebra and homomorphism |
| title_fullStr | HH∗−intuitionistic heyting valued Ω-algebra and homomorphism |
| title_full_unstemmed | HH∗−intuitionistic heyting valued Ω-algebra and homomorphism |
| title_short | HH∗−intuitionistic heyting valued Ω-algebra and homomorphism |
| title_sort | hh∗ intuitionistic heyting valued ω algebra and homomorphism |
| topic | heyting valued algebra co-heyting valued algebra omega algebra intuitionistic logic |
| url | https://jhs.uma.ac.ir/article_2683_cb3719ee6fa26b7620b19300c0d69fb5.pdf |
| work_keys_str_mv | AT sinemtarsusluyılmaz hhintuitionisticheytingvaluedōalgebraandhomomorphism AT gokhancuvalcıogl hhintuitionisticheytingvaluedōalgebraandhomomorphism |