English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

An algebra \({\mathbf {A}} = \langle A, \rightarrow , 0 \rangle \), where \(\rightarrow \) is binary and 0 is a constant, is called an implication zroupoid (\({\mathcal {I}}\)-zroupoid, for short) if \({\mathbf {A}}\) satisfies the identities: (I): \((x \rightarrow y) {\rightarrow } z \approx ((z' {\rightarrow } x) {\rightarrow } (y {\rightarrow } z)')'\), and (I\(_{0}\)): \( 0'' \approx 0\), where \(x' : = x \rightarrow 0\). An implication zroupoid is symmetric if it satisfies the identities: \(x'' \approx x\) and \((x \rightarrow y')' \approx (y \rightarrow x')'\). An identity is of Bol–Moufang type if it contains only one binary operation symbol, one of its three variables occurs twice on each side, each of the other two variables occurs once on each side, and the variables occur in the same (alphabetical) order on both sides of the identity. In this paper, we will present a systematic analysis of all 60 identities of Bol–Moufang type in the variety \({\mathcal {S}}\) of symmetric \({\mathcal {I}}\)-zroupoids. We show that 47 of the subvarieties of \({\mathcal {S}}\), defined by the identities of Bol–Moufang type, are equal to the variety \({\mathcal {SL}}\) of \(\vee \)-semilattices with the least element 0 and one of others is equal to \({\mathcal {S}}\). Of the remaining 12, there are only three distinct ones. We also give an explicit description of the poset of the (distinct) subvarieties of \({\mathcal {S}}\) of Bol–Moufang type.

Symmetric implication zroupoids and identities of Bol–Moufang type