Embeddings of quasicells of iterative algebras.
Engel BCI-algebras: an application of left and right commutators
We introduce Engel elements in a BCI-algebra by using left and right normed commutators, and some properties of these elements are studied. The notion of -Engel BCI-algebra as a natural generalization of commutative BCI-algebras is introduced, and we discuss Engel BCI-algebra, which is defined by left and right normed commutators. In particular, we prove that any nilpotent BCI-algebra of type is an Engel BCI-algebra, but solvable BCI-algebras are not Engel, generally. Also, it is proved that...
Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus
Equational spectrum of Hilbert varieties
We prove that an equational class of Hilbert algebras cannot be defined by a single equation. In particular Hilbert algebras and implication algebras are not one-based. Also, we use a seminal theorem of Alfred Tarski in equational logic to characterize the set of cardinalities of all finite irredundant bases of the varieties of Hilbert algebras, implication algebras and commutative BCK algebras: all these varieties can be defined by independent bases of n elements, for each n > 1.