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 |