On branchwise implicative BCI-algebras.
Chaudhry, Muhammad Anwar (2002)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Chaudhry, Muhammad Anwar (2002)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Tao Sun, Dahai Hu, Xiquan Liang (2007)
Formalized Mathematics
Similarity:
In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].
Kiyoshi Iséki (1982)
Banach Center Publications
Similarity:
Yuzhong Ding (2007)
Formalized Mathematics
Similarity:
I have formalized the BCI-algebras closely following the book [6], sections 1.1 to 1.3, 1.6, 2.1 to 2.3, and 2.7. In this article the general theory of BCI-algebras and several classes of BCI-algebras are given. MML identifier: BCIALG 1, version: 7.8.04 4.81.962
Tao Sun, Weibo Pan, Chenglong Wu, Xiquan Liang (2008)
Formalized Mathematics
Similarity:
It is known that commutative BCK-algebras form a variety, but BCK-algebras do not [4]. Therefore H. Yutani introduced the notion of quasicommutative BCK-algebras. In this article we first present the notion and general theory of quasi-commutative BCI-algebras. Then we discuss the reduction of the type of quasi-commutative BCK-algebras and some special classes of quasicommutative BCI-algebras.
J. Neggers, Hee Sik Kim (2002)
Matematički Vesnik
Similarity:
Abujabal, H.A.S., Aslam, M., Thaheem, A.B. (1996)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Ivan Chajda, Helmut Länger (2017)
Mathematica Bohemica
Similarity:
States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative. We answer this question in the positive and give several examples of such basic algebras and their states. We prove elementary properties of states on basic algebras. Moreover, we introduce the concept of a state-morphism and characterize it among states. For basic algebras which...
Katsylo, Pavel, Mikhailov, Dmitry (1997)
Journal of Lie Theory
Similarity:
Andrzej Walendziak (2006)
Mathematica Slovaca
Similarity: