TY - JOUR
ID - 148301
TI - Positive implicative equality algebras and equality algebras with some types
JO - Journal of Algebraic Hyperstructures and Logical Algebras
JA - JAHLA
LA - en
SN - 2676-6000
AU - Aaly Kologani, M.
AU - Xin, X.L.
AU - Jun, Y.B.
AU - Mohseni Takallo, M.
AD - Hatef Higher Education Institute, Zahedan, Iran
AD - School of Mathematics, Northwest University, Xi'an 710127, China
AD - Department of Mathematics Education, Gyeongsang National University, Jinju 52828, Korea
AD - Department of Mathematics, Faculty of Mathematical Sciences, Shahid Beheshti University, Tehran, Iran
Y1 - 2022
PY - 2022
VL - 3
IS - 2
SP - 69
EP - 86
KW - (Commutative, positive implicative) equality algebra, &-equality algebra, equality algebra of type (m,n
KW - i,j)
DO - 10.52547/HATEF.JAHLA.3.2.6
N2 - The notion of a positive implicative equality algebras are defined, and related properties are studied. Characterizations of a positive implicative equality algebra is investigated. Conditions for an equality algebra to be positive implicative are provided. Equality algebra with some types is considered, and several properties are investigated. Using equality algebra with some types, we characterize a commutative equality algebra and a positive implicative algebra.
UR - http://jahla.hatef.ac.ir/article_148301.html
L1 - http://jahla.hatef.ac.ir/article_148301_2c76b3baf6848a8d0f0dc689b1713291.pdf
ER -