Abstract
In 2012, the second author introduced, and initiated the investigations into, the variety 𝓘 of implication zroupoids that generalize De Morgan algebras and ∨-semilattices with 0. An algebra A = 〈 A, →, 0 〉, where → is binary and 0 is a constant, is called an implication zroupoid (𝓘-zroupoid, for short) if A satisfies: (x → y) → z ≈ [(z′ → x) → (y → z)′]′, where x′ := x → 0, and 0″ ≈ 0. Let 𝓘 denote the variety of implication zroupoids and A ∈ 𝓘. For x, y ∈ A, let x ∧ y := (x → y′)′ and x ∨ y := (x′ ∧ y′)′. In an earlier paper, we had proved that if A ∈ 𝓘, then the algebra A
mj
= 〈A, ∨, ∧〉 is a bisemigroup. The purpose of this paper is two-fold: First, we generalize the notion of semidistributivity from lattices to bisemigroups and prove that, for every A ∈ 𝓘, the bisemigroup A
mj
is semidistributive. Secondly, we generalize the Whitman Property from lattices to bisemigroups and prove that the subvariety 𝓜𝓔𝓙 of 𝓘, defined by the identity: x ∧ y ≈ x ∨ y, satisfies the Whitman Property. We conclude the paper with two open problems.