On Co-Ideals of Implicative Semigroups with Apartness

Daniel A. ROMANO

Makale detayları

On Co-Ideals of Implicative Semigroups with Apartness

Yazarlar:

Daniel A. ROMANO

Yayıncı:

Matematikçiler Derneği

Ana Başlıklar:

Matematik

Dergi:

Turkish Journal of Mathematics and Computer Science 2019 Vol.11 Issue 2, pp.101-106

Belge Tipi:

Makale

Yayın Tarihi:

12/2019

Belge Dili:

İngilizce

Document ID (Org No.):

2000638498

Sıklık:

İki Yıllık

eISSN:

2148-1830

Özet:

 


The setting of this research is the Bishop's constructive mathematics - a mathematics based on the Intuitionistic Logic and the principled-philosophical constructive orientation. Implicative semigroups with apartness were introduced and analyzed in 2016-17 in two published articles (\emph{An introduction to implicative semigroups with apartness}, Sarajevo J. Math., 12(25)(2)(2016),  155-165 and \emph{Strongly extensional homomorphism of implicative semigroups with apartness}.  Sarajevo J. Math., 13(2)(2017),  155-162). In this paper, as a continuation of the mentioned articles, the concept of co-ideals was introduced in the implicative semigroups with apartness. Some of the important properties of these substructures in such semigroups have been proven. In addition, it has been shown that the family of all co-ideals in these semigroups forms a complete lattice.

.

Makale detayları

On Co-Ideals of Implicative Semigroups with Apartness

Yazarlar: Daniel A. ROMANO

Yayıncı: Matematikçiler Derneği

Ana Başlıklar: Matematik

Dergi: Turkish Journal of Mathematics and Computer Science 2019 Vol.11 Issue 2, pp.101-106

Belge Tipi: Makale

Yayın Tarihi: 12/2019

Belge Dili: İngilizce

Document ID (Org No.): 2000638498

Sıklık: İki Yıllık

eISSN: 2148-1830

Sayı

Yazarlar:

Daniel A. ROMANO

Yayıncı:

Matematikçiler Derneği

Ana Başlıklar:

Matematik

Dergi:

Turkish Journal of Mathematics and Computer Science 2019 Vol.11 Issue 2, pp.101-106

Belge Tipi:

Makale

Yayın Tarihi:

12/2019

Belge Dili:

İngilizce

Document ID (Org No.):

2000638498

Sıklık:

İki Yıllık

eISSN:

2148-1830