پیوندهای مفید
آمار
| تعداد نشریات | 31 |
| تعداد شمارهها | 439 |
| تعداد مقالات | 3,901 |
| تعداد مشاهده مقاله | 6,542,628 |
| تعداد دریافت فایل اصل مقاله | 4,366,666 |
HH∗−intuitionistic heyting valued Ω-algebra and homomorphism | ||
| Journal of Hyperstructures | ||
| دوره 6، Spec. 13th AHA، مهر 2017، صفحه 72-82 اصل مقاله (306.93 K) | ||
| نوع مقاله: Research Paper | ||
| شناسه دیجیتال (DOI): 10.22098/jhs.2017.2683 | ||
| نویسندگان | ||
| Sinem Tarsuslu(Yılmaz)* 1؛ G¨okhan C¸ uvalcıo˘gl2 | ||
| 1Department of Mathematics, University of Mersin, iftlikky Campus, Mersin, Turke | ||
| 2Department of Mathematics, University of Mersin, iftlikky Campus, Mersin, turke | ||
| چکیده | ||
| 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. | ||
| کلیدواژهها | ||
| Heyting Valued Algebra؛ co-Heyting Valued Algebra؛ Omega Algebra؛ Intuitionistic Logic | ||
| مراجع | ||
|
[1] Brouwer, L. E. J., Intuitionism and Formalism, English translation by A. Dres-den, Bulletin of the American Mathematical Society, 20 (1913): 81–96,reprinted in Benacerraf and Putnam(eds.)1983:77–89;also reprinted in Heyting (ed.)1975: 123–138. [2] C¸ uvalcı˘glu G., Heyting Valued Omega Free Algebra, C¸ ukurova University Institute of Science and Technology, PhD Thesis, Adana, 2002, 68 p. [3] Faith C., Algebra: Rings, Modules and Categories I, Springer-Verlag, Berlin [4] Heyting, A. “Die formalen Regeln der intuitionistischen Logik,” in three parts, Sitzungsberichte der preussischen Akademie der Wissenschaften: 42–71, 158–169,1930. English translation of Part I in Mancosu 1998: 311–327. [5] Lawvere F.V. , Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes, in A.Carboni, et.al., Category theory, Proccedings, Como. 1990. | ||
|
آمار تعداد مشاهده مقاله: 153 تعداد دریافت فایل اصل مقاله: 159 |
||