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.
Contents
- Regular Papers
-
Requires Authentication UnlicensedSemidistributivity and Whitman Property in implication zroupoidsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedComposition of binary quadratic forms over number fieldsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedOn Z-Symmetric RingsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedOn the factorable spaces of absolutely p-summable, null, convergent, and bounded sequencesLicensedDecember 10, 2021
-
Requires Authentication UnlicensedCoefficient estimates for Libera type bi-close-to-convex functionsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedOscillation of nonlinear third-order differential equations with several sublinear neutral termsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedOn rapidly oscillating solutions of a nonlinear elliptic equationLicensedDecember 10, 2021
-
Requires Authentication UnlicensedMultiplicity of solutions for a class of fourth-order elliptic equations of p(x)-Kirchhoff typeLicensedDecember 10, 2021
-
Requires Authentication UnlicensedExistence of traveling wave solutions in nonlocal delayed higher-dimensional lattice systems with quasi-monotone nonlinearitiesLicensedDecember 10, 2021
-
Requires Authentication UnlicensedOn absolute double summability methods with high indicesLicensedDecember 10, 2021
-
Requires Authentication UnlicensedOn the continuity of lattice isomorphisms on C(X, I)LicensedDecember 10, 2021
-
Requires Authentication UnlicensedNew fixed point theorems for countably condensing maps with an application to functional integral inclusionsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedCommon fixed point results under w-distance with applications to nonlinear integral equations and nonlinear fractional Differential EquationsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedThe form of locally defined operators in waterman spacesLicensedDecember 10, 2021
-
Requires Authentication UnlicensedConformal vector fields on almost co-Kähler manifoldsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedA certain η-parallelism on real hypersurfaces in a nonflat complex space formLicensedDecember 10, 2021
-
Requires Authentication UnlicensedOn log-bimodal alpha-power distributions with application to nickel contents and erosion dataLicensedDecember 10, 2021
-
Requires Authentication UnlicensedUnivariate and bivariate extensions of the generalized exponential distributionsLicensedDecember 10, 2021
-
Requires Authentication UnlicensedPellian equations of special typeLicensedDecember 10, 2021