Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approaches
In this paper, we have presented a novel exploration of the construction of Riečan, Bosbach, internal, and general states within the framework of Sheffer stroke BCK-algebra $ \mathcal{B} $. We highlighted the originality of our work by examining key characteristics and the independence of the axioma...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AIMS Press
2025-01-01
|
| Series: | AIMS Mathematics |
| Subjects: | |
| Online Access: | https://www.aimspress.com/article/doi/10.3934/math.2025072 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850087574099460096 |
|---|---|
| author | Ibrahim Senturk Tahsin Oner Duygu Selin Turan Gozde Nur Gurbuz Burak Ordin |
| author_facet | Ibrahim Senturk Tahsin Oner Duygu Selin Turan Gozde Nur Gurbuz Burak Ordin |
| author_sort | Ibrahim Senturk |
| collection | DOAJ |
| description | In this paper, we have presented a novel exploration of the construction of Riečan, Bosbach, internal, and general states within the framework of Sheffer stroke BCK-algebra $ \mathcal{B} $. We highlighted the originality of our work by examining key characteristics and the independence of the axiomatic systems associated with these states. Notably, we demonstrated that a Riečan state can correspond to a Bosbach state and vice versa, revealing significant interconnections between these concepts. Additionally, we introduced the innovative concepts of faithful and fixed sets generated by internal states on $ \mathcal{B} $, proving that each Sheffer stroke BCK-algebra retains its structure under an internal state. Our investigation also included internal state-(filters, compatible filters, and prime filters) on $ \mathcal{B} $ and their related results, as well as the relationship between internal state congruence and filters. Furthermore, we explore whether general states imply Riečan and Bosbach states, enhancing our understanding of these relationships. Finally, we introduced the concept of general state-morphism and discuss its implications for $ \mathcal{B} $. To support our findings, we provided compelling examples and fundamental algorithms, underscoring the practical significance of our study across various fields including artificial intelligence, computer science, and quantum logic. |
| format | Article |
| id | doaj-art-54df6db0686e4c1588d93b5972fbc34f |
| institution | DOAJ |
| issn | 2473-6988 |
| language | English |
| publishDate | 2025-01-01 |
| publisher | AIMS Press |
| record_format | Article |
| series | AIMS Mathematics |
| spelling | doaj-art-54df6db0686e4c1588d93b5972fbc34f2025-08-20T02:43:12ZengAIMS PressAIMS Mathematics2473-69882025-01-011011555158810.3934/math.2025072Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approachesIbrahim Senturk0Tahsin Oner1Duygu Selin Turan2Gozde Nur Gurbuz3Burak Ordin4Department of Mathematics, Faculty of Sciences, Ege University, İzmir, TürkiyeDepartment of Mathematics, Faculty of Sciences, Ege University, İzmir, TürkiyeDepartment of Mathematics, Faculty of Sciences, Ege University, İzmir, TürkiyeGraduate School of Natural and Applied Sciences, Ege University, İzmir, TürkiyeDepartment of Mathematics, Faculty of Sciences, Ege University, İzmir, TürkiyeIn this paper, we have presented a novel exploration of the construction of Riečan, Bosbach, internal, and general states within the framework of Sheffer stroke BCK-algebra $ \mathcal{B} $. We highlighted the originality of our work by examining key characteristics and the independence of the axiomatic systems associated with these states. Notably, we demonstrated that a Riečan state can correspond to a Bosbach state and vice versa, revealing significant interconnections between these concepts. Additionally, we introduced the innovative concepts of faithful and fixed sets generated by internal states on $ \mathcal{B} $, proving that each Sheffer stroke BCK-algebra retains its structure under an internal state. Our investigation also included internal state-(filters, compatible filters, and prime filters) on $ \mathcal{B} $ and their related results, as well as the relationship between internal state congruence and filters. Furthermore, we explore whether general states imply Riečan and Bosbach states, enhancing our understanding of these relationships. Finally, we introduced the concept of general state-morphism and discuss its implications for $ \mathcal{B} $. To support our findings, we provided compelling examples and fundamental algorithms, underscoring the practical significance of our study across various fields including artificial intelligence, computer science, and quantum logic.https://www.aimspress.com/article/doi/10.3934/math.2025072sheffer stroke bck-algebra(riečan, bosbach, internal, general) stategeneral state-morphism |
| spellingShingle | Ibrahim Senturk Tahsin Oner Duygu Selin Turan Gozde Nur Gurbuz Burak Ordin Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approaches AIMS Mathematics sheffer stroke bck-algebra (riečan, bosbach, internal, general) state general state-morphism |
| title | Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approaches |
| title_full | Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approaches |
| title_fullStr | Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approaches |
| title_full_unstemmed | Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approaches |
| title_short | Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approaches |
| title_sort | axiomatic analysis of state operators in sheffer stroke bck algebras associated with algorithmic approaches |
| topic | sheffer stroke bck-algebra (riečan, bosbach, internal, general) state general state-morphism |
| url | https://www.aimspress.com/article/doi/10.3934/math.2025072 |
| work_keys_str_mv | AT ibrahimsenturk axiomaticanalysisofstateoperatorsinshefferstrokebckalgebrasassociatedwithalgorithmicapproaches AT tahsinoner axiomaticanalysisofstateoperatorsinshefferstrokebckalgebrasassociatedwithalgorithmicapproaches AT duyguselinturan axiomaticanalysisofstateoperatorsinshefferstrokebckalgebrasassociatedwithalgorithmicapproaches AT gozdenurgurbuz axiomaticanalysisofstateoperatorsinshefferstrokebckalgebrasassociatedwithalgorithmicapproaches AT burakordin axiomaticanalysisofstateoperatorsinshefferstrokebckalgebrasassociatedwithalgorithmicapproaches |