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 Plus annual

Presents the access of premium content as premium feature

Premium Content

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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

An algebra $\mathbf A = \langle A, \to, 0 \rangle$, where $\to$ is binary and$0$ is a constant, is called an implication zroupoid ($\mathcal I$-zroupoid,for short) if $\mathbf A$ satisfies the identities: $(x \to y) \to z \approx((z' \to x) \to (y \to z)')'$ and $0'' \approx 0$, where $x' : = x \to 0$. Animplication zroupoid is symmetric if it satisfies $x'' \approx x$ and $(x \toy')' \approx (y \to x')'$. The variety of symmetric $\mathcal I$-zroupoids isdenoted by $\mathcal S$. We began a systematic analysis of weak associativelaws of length $\leq 4$ in [CS16e], by examining the identities of Bol-Moufangtype in the context of the variety $\mathcal S$. In this paper we complete theanalysis by investigating the rest of the weak associative laws of length $\leq4$ relative to $\mathcal S$. We show that, of the 155 subvarieties of $\mathcalS$ defined by the weak associative laws of size $\leq 4$, there are exactly $6$distinct ones. We also give an explicit description of the poset of the(distinct) subvarieties of $\mathcal S$ defined by weak associative laws oflength $\leq 4$.

Symmetric Implication Zroupoids and Weak Associative Laws