A combinatorial property of logical algebras

Document Type : Original Article


Department of Mathematies, Payame Noor University (PNU), Iran


Logic gives a technique for the articial intelligence to make the computers simulate human being in dealing with certainty and uncertainty in information. Various logical algebras have been proposed and researched as the semantical  systems of non-classical logical systems. In this paper using the concept of commutator, we introduce the Engel algebra and then study a condition on infinite subsets of infinite algebras. We also show that some logical algebras satisfy to this condition but do not have the properties associated with that condition. 


[1] A. Abdollahi, Engel graph associated with a group, Journal of Algebra, 318 (2007), 680–691.
[2] R.A. Borzooei, M. Aaly Kologani, An overview of hyper logical algebras, Journal of Algebraic
and Hyperstructures and Logical Algebra, 1(3) (2020), 31–50.
[3] R.A. Borzooei, M. Bakhshi, Some results on hyper BCK-algebras, Quasigroups and Related
Systems (poland), 11 (2004), 9–24.
[4] H. Yisheng, BCI-algebra, Science Press, 2006.