Some Implicativities for Groupoids and <i>BCK</i>-Algebras
In this paper, we generalize the notion of an implicativity discussed in <inline-formula> <math display="inline"> <semantics> <mrow> <mi>B</mi> <mi>C</mi> <mi>K</mi> </mrow> </semantics> </math> </inline-formu...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2019-10-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/7/10/973 |
| _version_ | 1828340421545164800 |
|---|---|
| author | In Ho Hwang Hee Sik Kim Joseph Neggers |
| author_facet | In Ho Hwang Hee Sik Kim Joseph Neggers |
| author_sort | In Ho Hwang |
| collection | DOAJ |
| description | In this paper, we generalize the notion of an implicativity discussed in <inline-formula> <math display="inline"> <semantics> <mrow> <mi>B</mi> <mi>C</mi> <mi>K</mi> </mrow> </semantics> </math> </inline-formula>-algebras, and apply it to some groupoids and <inline-formula> <math display="inline"> <semantics> <mrow> <mi>B</mi> <mi>C</mi> <mi>K</mi> </mrow> </semantics> </math> </inline-formula>-algebras. We obtain some relations among those axioms in the theory of groupoids. |
| first_indexed | 2024-04-13T22:56:19Z |
| format | Article |
| id | doaj.art-ee4f60b0e6be4f73a8013b4a0e5905b4 |
| institution | Directory Open Access Journal |
| issn | 2227-7390 |
| language | English |
| last_indexed | 2024-04-13T22:56:19Z |
| publishDate | 2019-10-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Mathematics |
| spelling | doaj.art-ee4f60b0e6be4f73a8013b4a0e5905b42022-12-22T02:26:01ZengMDPI AGMathematics2227-73902019-10-0171097310.3390/math7100973math7100973Some Implicativities for Groupoids and <i>BCK</i>-AlgebrasIn Ho Hwang0Hee Sik Kim1Joseph Neggers2Department of Mathematics, Incheon National University, Incheon 22012, KoreaDepartment of Mathematics, Research Institute of Natural Sciences, Hanyang University, Seoul 04763, KoreaDepartment of Mathematics, University of Alabama, Tuscaloosa, AL 35487-0350, USAIn this paper, we generalize the notion of an implicativity discussed in <inline-formula> <math display="inline"> <semantics> <mrow> <mi>B</mi> <mi>C</mi> <mi>K</mi> </mrow> </semantics> </math> </inline-formula>-algebras, and apply it to some groupoids and <inline-formula> <math display="inline"> <semantics> <mrow> <mi>B</mi> <mi>C</mi> <mi>K</mi> </mrow> </semantics> </math> </inline-formula>-algebras. We obtain some relations among those axioms in the theory of groupoids.https://www.mdpi.com/2227-7390/7/10/973groupoid<i>d</i>-algebra<i>bck</i>-algebra(weakly) (<i>i</i>-)implicativecondition (<i>l<sub>i</sub></i>) |
| spellingShingle | In Ho Hwang Hee Sik Kim Joseph Neggers Some Implicativities for Groupoids and <i>BCK</i>-Algebras Mathematics groupoid <i>d</i>-algebra <i>bck</i>-algebra (weakly) (<i>i</i>-)implicative condition (<i>l<sub>i</sub></i>) |
| title | Some Implicativities for Groupoids and <i>BCK</i>-Algebras |
| title_full | Some Implicativities for Groupoids and <i>BCK</i>-Algebras |
| title_fullStr | Some Implicativities for Groupoids and <i>BCK</i>-Algebras |
| title_full_unstemmed | Some Implicativities for Groupoids and <i>BCK</i>-Algebras |
| title_short | Some Implicativities for Groupoids and <i>BCK</i>-Algebras |
| title_sort | some implicativities for groupoids and i bck i algebras |
| topic | groupoid <i>d</i>-algebra <i>bck</i>-algebra (weakly) (<i>i</i>-)implicative condition (<i>l<sub>i</sub></i>) |
| url | https://www.mdpi.com/2227-7390/7/10/973 |
| work_keys_str_mv | AT inhohwang someimplicativitiesforgroupoidsandibckialgebras AT heesikkim someimplicativitiesforgroupoidsandibckialgebras AT josephneggers someimplicativitiesforgroupoidsandibckialgebras |