Abstract: In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same paper), the variety I of algebras, there called implication zroupoids (I-zroupoids) and here called implicator gruopids (I- groupoids), that generalize De Morgan algebras. The present paper is a continuation of the paper mentioned above and is devoted to investigating the structure of the lattice of subvarieties of I, and also to making further contributions to the theory of implicator groupoids. Several new subvarieties of I are introduced and their relationship with each other, and with the subvarieties of I which were already investigated in the paper mentioned above, are explored.
Recommendations
Cites work
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3245491 (Why is no real title available?)
- A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis
- An algebraic approach to non-classical logics
- Congruence lattices of semilattices
- De Morgan algebras: new perspectives and applications
- On derived algebras and subvarieties of implication zroupoids
- Order in implication zroupoids
- Projective bichains
- Semisimple varieties of implication zroupoids
Cited in
(16)- General implicativity in groupoids
- scientific article; zbMATH DE number 1488869 (Why is no real title available?)
- scientific article; zbMATH DE number 2148625 (Why is no real title available?)
- Distributive implication groupoids
- The lattice of varieties of implication semigroups
- On derived algebras and subvarieties of implication zroupoids
- Symmetric implication zroupoids and weak associative laws
- scientific article; zbMATH DE number 5003386 (Why is no real title available?)
- Semidistributivity and whitman property in implication zroupoids
- Symmetric implication zroupoids and identities of Bol-Moufang type
- De Morgan algebras: new perspectives and applications
- New algebras and new connections between/in the algebras of logic and the monoidal algebras
- Semisimple varieties of implication zroupoids
- The action of a group on a De Morgan algebra.
- Order in implication zroupoids
- On \(l\)-implicative-groups and associated algebras of logic.
This page was built for publication: On implicator groupoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q522223)
