Ideals and congruence kernels of algebras
Idempotent distributive semirings II..
Identities for globals (complex algebras) of algebras
Implication algebras
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties....
Independence of Equational Classes
Independent axiomatization of varieties of lattice ordered groups
Independent basis for the identities of entropic groupoids
Injectives in equational classes of idempotent semigroups.
Injectives in varieties of completely simple semigroups.
Injectivity and Boolean Power.
Injectivity in model theory
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Introduction à la théorie axiomatique des structures.
Invariants of the rational equivalence.
Inverse semigroup varieties with the amalgamation property.
Irreducible Belousov equations on quasigroups
Isotone analogs of results by Mal'tsev and Rosenberg.
Isotopy invariant quasigroup identities
According to S. Krstić, there are only four quadratic varieties which are closed under isotopy. We give a simple procedure generating quadratic identities and deciding which of the four varieties they define. There are about 37000 such identities with up to five variables.
Iterative nondeterministic algebras