SavedAdd your journal

Journals / Turkish Journal of Mathematics and Computer Science / 2019 / Cilt: 11 - Sayı: 2

On Co-Ideals of Implicative Semigroups with Apartness

Daniel A. Romano
Pages
101–106
Publication Date
2022-11-05
DOI
—
🏛️Bibliographic metadata and full text access for this article are provided via DergiPark.
DergiPark Record ↗
✨

AI Summary & Key Takeaways

AI Insight
⚡ TL;DR(Too Long; Didn't Read)

In addition, it has been shownthat the family of all co-ideals in these semigroups forms a complete lattice.

📌 3 Key Takeaways

🎯
Objective & Hypothesis:The setting of this research is the Bishop’s constructive mathematics - a mathematics based on theIntuitionistic Logic and the principled-philosophical constructive orientation.
📊
Key Findings & Data:Implicative semigroups with apartness were introduced and analyzed in 2016-17 in two published articles (An introduction to implicative semigroupswith apartness, Sarajevo J.
💡
Conclusion & Impact:In addition, it has been shownthat the family of all co-ideals in these semigroups forms a complete lattice.
🔬Design:Research Article
📍Scope:2016 Verileri
⚙️Variables:Domain Parameters

Abstract

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

🔖

Cite This Article

Romano, D. A. (2022). On Co-Ideals of Implicative Semigroups with Apartness. Turkish Journal of Mathematics and Computer Science, Cilt: 11 - Sayı: 2, 101–106. https://ajindex.com/articles/609144

📄 Full Text PDF Viewer

📄

PDF görüntüleyici hazırlanıyor...

References (22)

  1. Bang, K., So, K.S., Extended special sets in implicative semigroups, Commun Korean Math Soc, 22(2007), 9–14
  2. Beeson, M.A., Foundations of Constructive Mathematics., Berlin, Springer, 1985
  3. Bishop, E., Foundations of Constructive Analysis, New York, McGraw-Hill, 1967
  4. Bishop, E., Bridges, D.S., Constructive Analysis, Grundlehren der Mathematischen Wissenschaften 279, Berlin, Springer, 1985
  5. Birkhoff, G., Lattice Theory, 3rd ed., Rhode Island: American Mathematical Society Colloquium Publications, vol. 25, 1967
  6. Blyth, T.S., Pseudo-residuals in semigroups, J London Math Soc, 40(1965), 441–454
  7. Bridges, D.S., Richman, F., Varieties of Constructive Mathematics. Cambridge: London Mathematical Society Lecture Notes, No. 97, Cambridge University Press, 1987
  8. Cherubini, A., Frigeri, A., Inverse semigroups with apartness, Semigroup Forum, 98(3)(2019), 571–588
  9. Chan, M.W., Shum, K.P., Homomorphisms of implicative semigroups, Semigroup Forum, 46(1993), 7–15
  10. Crvenkovic, S., Mitrovi ´ c, M., Romano, D.A., ´ Semigroups with apartness, Math Logic Quart, 59(6)(2013), 407–414
  11. Crvenkovic, S., Mitrovi ´ c, M., Romano, D.A., ´ Basic notions of (constructive) semigroups with apartness, Semigroup Forum, 92(3)(2016), 659–674
  12. Greenleaf, N., Linear Order in Lattices: A Constructive Study, In: Rota G-C. (Editor), Advances in Mathematics Supplementary Studies, 1,(pp. 11-30). New York, Academic Press, 1978
  13. Jun, Y.B., A note on ordered filters of implicative semigroups, Bull Korean Math Soc, 34(1997), 185–191
  14. Jun, Y.B., Some results on ordered filters of implicative semigroups, Int J Math Math Sci, 26(2001), 731–735
  15. Jun, Y.B, Meng, J., Xin, X.L., On ordered filters of implicative semigroups, Semigroup Forum, 54(1997), 75–82
  16. Jun, Y.B., Kim, K.H., On ideals of implicative semigroups, Int J Math Math Sci, 27(2001), 77–82
  17. Lee, S.Y., Shum, K.P., Wu, C., Filters in fuzzy implicative semigroups, Comm. Algebra, 32(2004), 4633–4651
  18. Lee, S.Y., Shum, K.P., Wu, C., Strong semilattice of implicative semigroups, Algebra Colloqium, 15(2008), 57–62
  19. Mines, R., Richman, F., Ruitenburg, W., A Course of Constructive Algebra, New York, Springer-Verlag, 1988
  20. Nemitz, W.C., Implicative semi-lattices, Trans Amer Math Soc, 117(1965), 128–142
  21. Negri, S., Sequent calculus proof theory of Intuitionistic apartness and order relations, Archive Math Logic, 38(1999), 521–547
  22. Romano, D.A., A note on quasi-a