Operations and structures derived from non-associative MV-algebras

Abstract

The so-called non-associative MV-algebras were introduced recently by the first author and J. Kühr in order to have an appropriate tool for certain logics used in expert systems where associativity of the binary operation is excluded, see, e.g., Botur and Halaš (Arch Math Log 48:243–255, 2009). Since implication is an important logical connective in practically every propositional logic, in the present paper we investigate the implication reducts of non-associative MV-algebras. We also determine their structures based on the underlying posets. The natural question when a poset with the greatest element equipped with sectional switching involutions can be organized into an implication NMV-algebra is solved. Moreover, congruence properties of the variety of implication NMV-algebras with, respectively, without zero are investigated. Analogously to classical propositional logic, we introduce a certain kind of Sheffer operation and we obtain a one-to-one correspondence between NMV-algebras and certain algebras built up by a Sheffer-like operation together with a unary operation.

Introduction

The role of MV-algebras introduced in Chang (1958) for multiple-valued reasoning is well known, see, e.g., the monograph (Cignoli et al. 2000). As shown by Botur and Halaš (2009), in some problems concerning expert systems in particular or in artificial intelligence in general, associativity of the binary operation of an MV-algebra can produce serious problems, see also, e.g., Chajda and Länger (2017) for motivation. This was the reason why the so-called non-associative MV-algebras were introduced and studied in Chajda and Kühr (2007) and Chajda and Länger (2017). Since MV-algebras form an algebraic semantics of fuzzy logics and because implication is the most fundamental logical connective, some attempts were made to describe so-called implication reducts of MV-algebras. Such reducts were investigated for MV-algebras in Chajda et al. (2004a) under the name weak implication algebras. However, it turns out that these implication reducts are in fact BCK-algebras and the investigations in Chajda et al. (2004a) provide a new axiomatization of BCK-algebras which is very similar to that derived by Abbott (1967).

Our first goal is to derive an implication algebra (or implication reduct) of the above-mentioned non-associative MV-algebras. The main difference to other implication reducts, e.g., for Boolean algebras in Abbott (1967), for MV-algebras in Chajda et al. (2004a) or for orthomodular lattices or ortholattices in Abbott (1976), Chajda et al. (2001), Chajda et al. (2004b) and Chajda et al. (2008) is that non-associative MV-algebras do not have a lattice as their underlying structure. Namely, their underlying structure is only a bounded poset equipped with involutions on principal order filters. Hence, our attempt is rather exceptional, but it turns out that it works well and the results are fully comparable with that corresponding to lattice structures.

The second motivation is the fact that the so-called Sheffer operation alias Sheffer stroke was studied by several authors in Boolean algebras (Sheffer 1913), MV-algebras, basic algebras (Oner and Senturk 2017), orthomodular lattices and ortholattices (Chajda 2005), but to our knowledge not on structures which are posets only. In the present paper, we show that we can also introduce and investigate a Sheffer stroke operation in non-associative MV-algebras.

Implication NMV-algebras

For the reader’s convenience, we repeat the definition of our basic concept.

Definition 2.1

A non-associative MV-algebra (NMV-algebra, for short) is an algebra $\mathbf{A}=(A,\oplus ,$$\neg ,0)$ of type (2, 1, 0) satisfying the identities

$$\begin{array}{cc}& x\oplus y\approx y\oplus x,\hfill \end{array}$$ 1

$$\begin{array}{cc}& x\oplus 0\approx x,\hfill \end{array}$$ 2

$$\begin{array}{cc}& x\oplus 1\approx 1,\hfill \end{array}$$ 3

$$\begin{array}{cc}& \neg (\neg x)\approx x,\hfill \end{array}$$ 4

$$\begin{array}{cc}& \neg (\neg x\oplus y)\oplus y\approx \neg (\neg y\oplus x)\oplus x,\hfill \end{array}$$ 5

$$\begin{array}{cc}& \neg x\oplus (x\oplus y)\approx 1,\hfill \end{array}$$ 6

$$\begin{array}{cc}& x\oplus (\neg (\neg (\neg (x\oplus y)\oplus y)\oplus z)\oplus z)\approx 1,\hfill \end{array}$$ 7

where 1 denotes the algebraic constant $\neg 0$. Identity (5) is called the Łukasiewicz axiom. We define

$$\begin{array}{c}\hfill x\le y\text{if and only if}\neg x\oplus y=1\end{array}$$

($x,y\in A$).

As shown in Chajda and Kühr (2007), $(A,\le )$ is a poset with the least element 0 and the greatest element 1 which we call the poset induced by $\mathbf{A}$.

Example 2.2

The algebra $\mathbf{A}=(A,\oplus ,\neg ,0)$ of type (2, 1, 0) defined by $A=\{0,a,b,c,d,1\}$,

$$\begin{array}{c}\hfill \begin{array}{ccccccc}\oplus & 0& a& b& c& d& 1\\ 0& 0& a& b& c& d& 1\\ a& a& d& c& c& 1& 1\\ b& b& c& d& 1& d& 1\\ c& c& c& 1& 1& 1& 1\\ d& d& 1& d& 1& 1& 1\\ 1& 1& 1& 1& 1& 1& 1\end{array}\text{and}\begin{array}{ccccccc}\hfill x& 0& a& b& c& d& 1\\ \hfill \neg x& 1& d& c& b& a& 0\end{array}\end{array}$$

is an NMV-algebra whose induced poset has the Hasse diagram depicted in Fig. 1.

Fig. 1.

Hasse diagram of the poset induced by an NMV-algebra

One can immediately see that the above poset is not a lattice. Moreover, $\mathbf{A}$ is not an MV-algebra since the operation $\oplus$ is not associative:

$$\begin{array}{c}\hfill (a\oplus a)\oplus b=d\oplus b=d\ne c=a\oplus c=a\oplus (a\oplus b).\end{array}$$

Definition 2.3

An implication NMV-algebra is a non-empty groupoid $\mathbf{A}=(A,\to )$ satisfying the identities

$$\begin{array}{cc}& x\to x\approx y\to y,\hfill \end{array}$$ 8

$$\begin{array}{cc}& x\to 1\approx 1,\hfill \end{array}$$ 9

$$\begin{array}{cc}& 1\to x\approx x,\hfill \end{array}$$ 10

$$\begin{array}{cc}& (x\to y)\to y\approx (y\to x)\to x,\hfill \end{array}$$ 11

$$\begin{array}{cc}& x\to (y\to x)\approx 1,\hfill \end{array}$$ 12

$$\begin{array}{cc}& x\to ((((x\to y)\to y)\to z)\to z)\approx 1,\hfill \end{array}$$ 13

where 1 denotes the algebraic constant $x\to x$. We define

$$\begin{array}{c}\hfill x\le y\text{if and only if}x\to y=1\end{array}$$

($x,y\in A$) and put

$$\begin{array}{c}\hfill x\bigsqcup y:=(x\to y)\to y\end{array}$$

for all $x,y\in A$. An implication NMV-algebra with 0 is an algebra $\mathbf{A}=(A,\to ,0)$ of type (2, 0) satisfying identities (8)–(13) as well as the identity

$$\begin{array}{c}\hfill 0\to x\approx 1.\end{array}$$ 14

We put

$$\begin{array}{cc}& \neg x:=x\to 0,\hfill \\ \hfill & x\sqcap y:=\neg (\neg x\bigsqcup \neg y)\hfill \end{array}$$

for all $x,y\in A$ and call $\neg$ the negation.

Lemma 2.4

For an implication NMV-algebra $(A,\to )$, the relation $\le$ defined above is a partial order relation on A with the greatest element 1.

Proof

Let $a,b,c\in A$. Then, $a\le a$ according to (8). If $a\le b$ and $b\le a$, then

$$\begin{array}{cc}\hfill a=& 1\to a=(b\to a)\to a=(a\to b)\to b\hfill \\ \hfill =& 1\to b=b\hfill \end{array}$$

according to (10) and (11). If $a\le b$ and $b\le c$, then

$$\begin{array}{cc}\hfill a\to c=& a\to (1\to c)=a\to ((b\to c)\to c)\hfill \\ \hfill =& a\to (((1\to b)\to c)\to c)\hfill \\ \hfill =& a\to ((((a\to b)\to b)\to c)\to c)=1\hfill \end{array}$$

according to (10) and (13), i.e., $a\le c$. Finally, $a\le 1$ according to (9). $\square$

The partial order relation $\le$ on A will be called the induced order of $(A,\to )$.

Let $(P,\le )$ be a poset with the smallest element p and the greatest element q and $f:P\to P$. Then, f is called

• an involution if $f(f(x))=x$ for all $x\in P$,

• antitone if $x,y\in P$ and $x\le y$ together imply $f(y)\le f(x)$,

• switching if $f(p)=q$ and $f(q)=p$.

Lemma 2.5

In every implication NMV-algebra $(A,\to ,0)$ with 0 the negation is a switching involution on $(A,\le )$.

Proof

We have

$$\begin{array}{cc}& \neg 0\approx 0\to 0\approx 1\text{according to (8)},\hfill \\ \hfill & \neg 1\approx 1\to 0\approx 0\text{according to (10)},\hfill \\ \hfill & \neg (\neg x)\approx (x\to 0)\to 0\approx (0\to x)\to x\approx 1\to x\approx x\hfill \\ \hfill & \text{according to (10), (11) and (14)}.\hfill \end{array}$$

$\square$

Analogously, as it was done for MV-algebras in Chajda et al. (2004a), we can introduce the binary operation $\to$ in NMV-algebras which can be interpreted as the logical connective implication within the corresponding logic. The following theorem justifies the name implication NMV-algebra introduced in Definition 2.3.

Theorem 2.6

Let $\mathbf{A}=(A,\oplus ,\neg ,0)$ be an NMV-algebra and define

$$\begin{array}{c}\hfill x\to y:=\neg x\oplus y\end{array}$$

for all $x,y\in A$. Then, $(A,\to ,0)$ is an implication NMV-algebra with 0 which we call the implication NMV-algebra with 0 induced by $\mathbf{A}$.

Proof

(8) follows from (2) and (6), (9) from (3), (10) from (1), (2) and (4), (11) from (5), (12) from (1) and (6), (13) from (7) and (14) from (1) and (3). $\square$

Example 2.7

The implication NMV-algebra $\mathbf{B}:=(A,\to ,0)$ with 0 induced by the NMV-algebra $\mathbf{A}$ from Example 2.2 is given by the operation table

$$\begin{array}{c}\hfill \begin{array}{ccccccc}\to & 0& a& b& c& d& 1\\ 0& 1& 1& 1& 1& 1& 1\\ a& d& 1& d& 1& 1& 1\\ b& c& c& 1& 1& 1& 1\\ c& b& c& d& 1& d& 1\\ d& a& d& c& c& 1& 1\\ 1& 0& a& b& c& d& 1\end{array}\end{array}$$

Since $C:=\{a,b,c,d,1\}$ is a subuniverse of the implication NMV-algebra $(B,\to )$, the groupoid $(C,\to )$ is an implication NMV-algebra, too. But there exists no $x\in \{a,b,c,d,1\}$ such that $(C,\to ,x)$ is an implication NMV-algebra with 0. The Hasse diagram of the poset induced by $(C,\to )$ is visualized in Fig. 2.

Fig. 2.

Hasse diagram of the poset induced by an implication NMV-algebra

Theorem 2.8

Let $\mathbf{A}=(A,\to ,0)$ be an implication NMV-algebra with 0 and define a binary operation $\oplus$ on A by

$$\begin{array}{c}\hfill x\oplus y:=\neg x\to y\end{array}$$

for all $x,y\in A$. Then, $(A,\oplus ,\neg ,0)$ is an NMV-algebra if and only if $\mathbf{A}$ satisfies the identity

$$\begin{array}{c}\hfill x\to y\approx \neg y\to \neg x.\end{array}$$ 15

Proof

We have

$$\begin{array}{c}\hfill x\to y\approx \neg (\neg x)\to y\approx \neg x\oplus y\end{array}$$

according to Lemma 2.5. If $(A,\oplus ,\neg ,0)$ is an NMV-algebra, then

$$\begin{array}{c}\hfill x\to y\approx \neg x\oplus y\approx y\oplus \neg x\approx \neg y\to \neg x\end{array}$$

according to (1). If, conversely, $\mathbf{A}$ satisfies identity (15), then

1. $x\oplus y\approx \neg x\to y\approx \neg y\to \neg (\neg x)\approx \neg y\to x\approx y\oplus x$ according to Lemma 2.5,

2. $x\oplus 0\approx \neg x\to 0\approx \neg (\neg x)\approx x$ according to Lemma 2.5,

3. $x\oplus 1\approx \neg x\to 1\approx 1$ according to (9),

4. was proved just before,

5. $\neg (\neg x\oplus y)\oplus y\approx (x\to y)\to y\approx (y\to x)\to x\approx \neg (\neg y\oplus x)\oplus x$ according to (11),

6. $\neg x\oplus (x\oplus y)\approx \neg x\oplus (y\oplus x)\approx x\to (\neg y\to x)\approx 1$ according to (1) and (12),

7. $x\oplus (\neg (\neg (\neg (x\oplus y)\oplus y)\oplus z)\oplus z)\approx \neg x\to ((((\neg x\to y)\to y)\to z)\to z)\approx 1$ according to (13). $\square$

Recall the following concept (see, e.g., Chajda and Länger 2011 or Ježek and Quackenbush 1990):

Definition 2.9

A directoid is a groupoid $(A,\bigsqcup )$ satisfying the identities

$$\begin{array}{cc}& x\bigsqcup x\approx x,\hfill \\ \hfill & x\bigsqcup y\approx y\bigsqcup x,\hfill \\ \hfill & x\bigsqcup ((x\bigsqcup y)\bigsqcup z)\approx (x\bigsqcup y)\bigsqcup z.\hfill \end{array}$$

A directoid with 1 is an algebra $(A,\bigsqcup ,1)$ of type (2, 0) such that $(A,\bigsqcup )$ is a directoid and the identity $x\bigsqcup 1\approx 1$ is satisfied.

The concept of a directoid was introduced under the name commutative directoid with 1 by Ježek and Quackenbush (1990).

Definition 2.10

A poset$(A,\le )$ is called directed if for any $x,y\in A$ we have $U(x,y)\ne \mathrm{\varnothing }$ where $U(x,y):=\{z\in A\mid x,y\le z\}$.

For the following result, see, e.g., Chajda and Länger (2011) or Ježek and Quackenbush (1990).

Proposition 2.11

If $\mathbf{A}=(A,\bigsqcup )$ is a directoid and we define a binary relation $\le$ on A by

$$\begin{array}{c}\hfill x\le y\text{if and only if}x\bigsqcup y=y\end{array}$$

($x,y\in A$), then $\mathbb{P}(\mathbf{A}):=(A,\le )$ is a directed poset satisfying $x,y\le x\bigsqcup y$. The partial order relation on A just defined will be called the induced order of the directoid $(A,\bigsqcup )$. Conversely, if $\mathbf{P}=(A,\le )$ is a directed poset and we define

$$\begin{array}{cc}& x\bigsqcup y:=max(x,y)\text{if}x\text{and}y\text{are comparable and}x\bigsqcup y\hfill \\ \hfill & =y\bigsqcup x\in U(x,y)\text{otherwise}\hfill \end{array}$$

($x,y\in A$), then $\mathbb{D}(\mathbf{P}):=(A,\bigsqcup )$ is a directoid. (In general, $\mathbb{D}(\mathbf{P})$ is not uniquely determined by $\mathbf{P}$.) We have $\mathbb{P}(\mathbb{D}(\mathbf{P}))=\mathbf{P}$ for every directed poset $\mathbf{P}$.

In the following, if $(A,\le )$ is a poset and B a subset of A, then the restriction of $\le$ to B will again be denoted by the same symbol $\le$.

Definition 2.12

A directoid with 1 and sectionally switching involutions is an ordered quadruple $(A,\bigsqcup ,1,(f_a;a\in A))$ such that $(A,\bigsqcup ,1)$ is a directoid with 1 and for every $a\in A$, $f_a$ is a switching involution on $([a,1],\le )$ where $\le$ is the induced order of $(A,\bigsqcup )$.

Theorem 2.13

Let $\mathbf{A}=(A,\to )$ be an implication NMV-algebra and for each $a\in A$ define a mapping $f_a:[a,1]\to [a,1]$ by

$$\begin{array}{c}\hfill f_a(x):=x\to a\end{array}$$

for all $x\in [a,1]$. Then, ${\mathbb{D}}_1(\mathbf{A}):=(A,\bigsqcup ,1,(f_a;a\in A))$ where $\bigsqcup$ denotes the binary operation on A introduced in Definition 2.3 is a directoid with 1 and sectionally switching involutions whose induced order coincides with the induced order of $(A,\to )$.

Proof

Let $a,b,c\in A$. Then,

$$\begin{array}{cc}& a\bigsqcup a=(a\to a)\hfill \\ \hfill & \to a=1\to a=a\text{according to (8) and (10)},\hfill \\ \hfill & a\bigsqcup b=(a\to b)\to b=(b\to a)\hfill \\ \hfill & \to a=b\bigsqcup a\text{according to (11)},\hfill \\ \hfill & a\bigsqcup ((a\bigsqcup b)\bigsqcup c)=(a\to ((((a\to b)\to b)\hfill \\ \hfill & \to c)\to c))\to \hfill \\ \hfill & \to ((((a\to b)\to b)\to c)\to c)=1\hfill \\ \hfill & \to ((((a\to b)\to b)\to c)\to c)\hfill \\ \hfill & =(((a\to b)\to b)\to c)\to c\hfill \\ \hfill & =(a\bigsqcup b)\bigsqcup c\text{according to (10) and}\hfill \\ \hfill & \text{(13)},\hfill \\ \hfill & a\bigsqcup 1=(a\to 1)\to 1\hfill \\ \hfill & =1\text{according to (9)},\hfill \\ \hfill & a\bigsqcup b=b\Rightarrow a\to b=a\to (a\bigsqcup b)\hfill \\ \hfill & =a\to ((a\to b)\to b)=\hfill \\ \hfill & =a\to ((b\to a)\to a)=1\text{according to (11) and (12)},\hfill \\ \hfill & a\to b=1\Rightarrow a\bigsqcup b=(a\to b)\to b=1\hfill \\ \hfill & \to b=b\text{according to (10)}.\hfill \end{array}$$

If $b\in [a,1]$, then

$$\begin{array}{cc}& f_a(b)=b\to a\ge a\text{according to (12)},\hfill \\ \hfill & f_a(f_a(b))=(b\to a)\to a=(a\to b)\to b=1\to b\hfill \\ \hfill & =b\text{according to (10) and (11)},\hfill \\ \hfill & f_a(a)=a\to a=1\text{according to (8)},\hfill \\ \hfill & f_a(1)=1\to a=a\text{according to (10)}.\hfill \end{array}$$

$\square$

For an implication NMV-algebra $\mathbf{A}=(A,\to )$, ${\mathbb{D}}_1(\mathbf{A})=(A,\bigsqcup ,1,(f_a;a\in A))$ will be called the induced directoid.

Example 2.14

For the implication NMV-algebra $\mathbf{B}$ from Example 2.7, ${\mathbb{D}}_1(\mathbf{B})=(A,\bigsqcup ,$$1,(f_a;a\in A))$ is given by the tables

$$\begin{array}{c}\hfill \begin{array}{ccccccc}\bigsqcup & 0& a& b& c& d& 1\\ 0& 0& a& b& c& d& 1\\ a& a& a& c& c& d& 1\\ b& b& c& b& c& d& 1\\ c& c& c& c& c& 1& 1\\ d& d& d& d& 1& d& 1\\ 1& 1& 1& 1& 1& 1& 1\end{array}\text{and}\begin{array}{ccccccc}x& 0& a& b& c& d& 1\\ f_0(x)& 1& d& c& b& a& 0\\ f_a(x)& & 1& & c& d& a\\ f_b(x)& & & 1& d& c& b\\ f_c(x)& & & & 1& & c\\ f_d(x)& & & & & 1& d\\ f_1(x)& & & & & & 1\end{array}\end{array}$$

Theorem 2.15

Let $\mathbf{D}=(A,\bigsqcup ,1,(f_a;a\in A))$ be a directoid with 1 and sectionally switching involutions and define a binary operation $\to$ on A by

$$\begin{array}{c}\hfill x\to y:=f_y(x\bigsqcup y)\end{array}$$

for all $x,y\in A$. Then, $\mathbb{I}(\mathbf{D}):=(A,\to )$ is an implication NMV-algebra.

Proof

We have $(x\to y)\to y\approx f_y(f_y(x\bigsqcup y)\bigsqcup y)\approx f_y(f_y(x\bigsqcup y))\approx x\bigsqcup y$. Now the following identities are satisfied:

• (8) $x\to x\approx f_x(x\bigsqcup x)\approx f_x(x)\approx 1\approx f_y(y)\approx f_y(y\bigsqcup y)\approx y\to y$,

• (9) $x\to 1\approx f_1(x\bigsqcup 1)\approx f_1(1)\approx 1$,

• (10) $1\to x\approx f_x(1\bigsqcup x)\approx f_x(1)\approx x$,

• (11) $(x\to y)\to y\approx x\bigsqcup y\approx y\bigsqcup x\approx (y\to x)\to x$,

• (12) $x\to (y\to x)\approx f_{f_x(y\bigsqcup x)}(x\bigsqcup f_x(y\bigsqcup x))\approx f_{f_x(y\bigsqcup x)}(f_x(y\bigsqcup x))\approx 1$,

• (13) $x\to ((((x\to y)\to y)\to z)\to z)\approx f_{(x\bigsqcup y)\bigsqcup z}(x\bigsqcup ((x\bigsqcup y)\bigsqcup z))\approx f_{(x\bigsqcup y)\bigsqcup z}((x\bigsqcup y)\bigsqcup z)\approx 1$. $\square$

For a directoid $\mathbf{D}=(A,\bigsqcup ,1,(f_a;a\in A))$ with 1 and sectionally switching involutions, $\mathbb{I}(\mathbf{D})=(A,\to )$ will be referred to as the induced implication NMV-algebra.

We show that the correspondence between induced directoids and induced implication NMV-algebras is one to one.

Theorem 2.16

• (i)Let $\mathbf{A}=(A,\to )$ be an implication NMV-algebra. Then, $\mathbb{I}({\mathbb{D}}_1(\mathbf{A}))=\mathbf{A}$.
• (ii)Let $\mathbf{D}=(A,\bigsqcup ,1,(f_a;a\in A))$ be a directoid with 1 and sectionally switching involutions. Then, ${\mathbb{D}}_1(\mathbb{I}(\mathbf{D}))=\mathbf{D}$.

Proof

• (i)
  If ${\mathbb{D}}_1(\mathbf{A})=(A,\bigsqcup ,1,(f_a;a\in A))$, $\mathbb{I}({\mathbb{D}}_1(\mathbf{A}))=(A,{\to }^{\prime })$ and $a,b\in A$, then

  $$\begin{array}{cc}\hfill a{\to }^{\prime }b=& f_b(a\bigsqcup b)=(a\bigsqcup b)\to b\hfill \\ \hfill =& ((a\to b)\to b)\to b=\hfill \\ \hfill =& (b\to (a\to b))\to (a\to b)=1\to (a\to b)\hfill \\ \hfill =& a\to b\hfill \end{array}$$

  according to (10), (11) and (12).
• (ii)
  If $\mathbb{I}(\mathbf{D})=(A,\to )$, ${\mathbb{D}}_1(\mathbb{I}(\mathbf{D}))=(A,{\bigsqcup }^{\prime },1^{\prime },(g_a;a\in A))$ and $a,b\in A$, then

  $$\begin{array}{cc}\hfill a{\bigsqcup }^{\prime }b=& (a\to b)\to b=f_b(f_b(a\bigsqcup b)\bigsqcup b)\hfill \\ \hfill =& f_b(f_b(a\bigsqcup b))=a\bigsqcup b,\hfill \\ \hfill 1^{\prime }=& a\to a=f_a(a\bigsqcup a)=f_a(a)=1,\hfill \\ \hfill b\in [a,1]\Rightarrow & g_a(b)=b\to a=f_a(b\bigsqcup a)=f_a(b).\hfill \end{array}$$

$\square$

Next we investigate when the sections of an implication NMV-algebra are NMV-algebras again.

Theorem 2.17

Let $\mathbf{A}=(A,\to )$ be an implication NMV-algebra, $(A,\bigsqcup ,1,(f_b;$$b\in A))$ its induced directoid, $a\in A$, assume

$$\begin{array}{c}\hfill x\to y=f_a(y)\to f_a(x)\end{array}$$ 16

for all $x,y\in [a,1]$ and put

$$\begin{array}{cc}& x{\oplus }_{a}y:=f_a(x)\to y,\hfill \\ \hfill & {\neg }_{a}x:=f_a(x)\hfill \end{array}$$

for all $x,y\in [a,1]$. Then, $([a,1],{\oplus }_a,{\neg }_a,a)$ is an NMV-algebra.

Proof

Although some of the following calculations were already done in previous parts of the paper, these calculations were not done in connection with the operations ${\oplus }_a$ and ${\neg }_a$. Hence, for the reader’s convenience, we present the detailed calculations. Let $b,c,d\in [a,1]$. Then,

$$\begin{array}{cc}& b{\oplus }_{a}c=f_a(b)\to c\ge c\ge a\text{according to (12)},\hfill \\ \hfill & {\neg }_{a}b=f_a(b)\ge a,\hfill \\ \hfill & {\neg }_{a}b{\oplus }_{a}c=f_a(f_a(b))\to c=b\to c,\hfill \\ \hfill & b{\oplus }_{a}c=f_a(b)\to c={\neg }_{a}b\to c,\hfill \end{array}$$

• (1) $b{\oplus }_{a}c=f_a(b)\to c=f_a(c)\to f_a(f_a(b))=f_a(c)\to b=c{\oplus }_{a}b$,

• (2) $b{\oplus }_{a}a=f_a(b)\to a=f_a(a)\to f_a(f_a(b))=1\to b=b$ according to (10),

• (3) $b{\oplus }_{a}1=f_a(b)\to 1=1$ according to (9),

• (4) ${\neg }_a({\neg }_{a}b)=f_a(f_a(b))=b$,

• (5) ${\neg }_a({\neg }_{a}b{\oplus }_{a}c){\oplus }_{a}c=(b\to c)\to c=(c\to b)\to b={\neg }_a({\neg }_{a}c{\oplus }_{a}b){\oplus }_{a}b$ according to (11),

• (6) ${\neg }_{a}b{\oplus }_a(b{\oplus }_{a}c)=f_a(f_a(b))\to (f_a(b)\to c)=b\to (f_a(c)\to f_a(f_a(b)))=b\to (f_a(c)\to b)=1$ according to (12),

• (7) $b{\oplus }_a({\neg }_a({\neg }_a({\neg }_a(b{\oplus }_{a}c){\oplus }_{a}c){\oplus }_{a}d){\oplus }_{a}d)={\neg }_{a}b\to (((({\neg }_{a}b\to c)\to c)\to d)\to d)=1$ according to (13).

$\square$

Let us note that, contrary to Theorem 2.17, in Theorem 2.15 we do not assume condition (16).

Unfortunately, condition (16) need not be satisfied even in an implication NMV-algebra induced by an NMV-algebra. It is worth noticing that this disadvantage disappears if so-called weak MV-algebras are considered instead of NMV-algebras. These weak MV-algebras were introduced and studied by the Halaš and Plojhar (2008).

Example 2.18

Consider the implication NMV-algebra $(C,\to )$ from Example 2.7. It is easy to see that the element b satisfies condition (16). Hence, especially, we have

$$\begin{array}{cc}\hfill c{\oplus }_{b}d=& (c\to b)\to d=d\to d=1=c\to c\hfill \\ \hfill =& (d\to b)\to c=d{\oplus }_{b}c.\hfill \end{array}$$

Contrary to this, the element a from Examples 2.7 and 2.14 does not satisfy condition (16), namely

$$\begin{array}{c}\hfill c\to d=d\ne c=d\to c=f_a(d)\to f_a(c).\end{array}$$

This is in accordance with the observation

$$\begin{array}{cc}\hfill c{\oplus }_{a}d=& (c\to a)\to d=c\to d=d\ne c=d\to c\hfill \\ \hfill =& (d\to a)\to c=d{\oplus }_{a}c.\hfill \end{array}$$

If, however, the involution $f_a$ would be given by

$$\begin{array}{c}\hfill f_a(a)=1,f_a(c)=d,f_a(d)=c,f_a(1)=a,\end{array}$$

then (16) would be satisfied also for the element a and hence every interval [x, 1] for $x\in \{a,b,c,d,1\}$ could be organized into an NMV-algebra which in fact would be an MV-algebra.

Congruence properties of implication NMV-algebras

The congruence properties of the variety of NMV-algebras were investigated in Chajda and Kühr (2007) and Chajda and Länger (2017). Since implication NMV-algebras form a variety, too, it is natural to ask what congruence properties are satisfied by this variety. One can hardly expect that the variety of implication NMV-algebras satisfies the same congruence properties as the variety of NMV-algebras because in the latter the existence of a zero element plays a fundamental role. On the other hand, we will show that the variety of implication NMV-algebras satisfies similar congruence properties as the varieties of orthoimplication algebras (Abbott 1976), implication MV-algebras (Chajda et al. 2004a) or orthomodular implication algebras (Chajda et al. 2001, 2004b).

Recall that an algebra $\mathbf{A}=(A,F)$ is called

• congruence permutable if $\mathrm{\Theta }\circ \mathrm{\Phi }=\mathrm{\Phi }\circ \mathrm{\Theta }$ for all $\mathrm{\Theta },\mathrm{\Phi }\in \mathrm{Con}\mathbf{A}$,

• congruence distributive if $(\mathrm{\Theta }\vee \mathrm{\Phi })\wedge \mathrm{\Psi }=(\mathrm{\Theta }\wedge \mathrm{\Psi })\vee (\mathrm{\Phi }\wedge \mathrm{\Psi })$ for all $\mathrm{\Theta },\mathrm{\Phi },\mathrm{\Psi }\in \mathrm{Con}\mathbf{A}$,

• arithmetical if it is both congruence permutable and congruence distributive,

• congruence regular if $a\in A$, $\mathrm{\Theta },\mathrm{\Phi }\in \mathrm{Con}\mathbf{A}$ and $[a]\mathrm{\Theta }=[a]\mathrm{\Phi }$ together imply $\mathrm{\Theta }=\mathrm{\Phi }$,

• 3-permutable if $\mathrm{\Theta }\circ \mathrm{\Phi }\circ \mathrm{\Theta }=\mathrm{\Phi }\circ \mathrm{\Theta }\circ \mathrm{\Phi }$ for all $\mathrm{\Theta },\mathrm{\Phi }\in \mathrm{Con}\mathbf{A}$.

An algebra $\mathbf{A}$ with an equationally definable constant 1 is called

• permutable at 1 (or subtractive) if $[1](\mathrm{\Theta }\circ \mathrm{\Phi })=[1](\mathrm{\Phi }\circ \mathrm{\Theta })$ for all $\mathrm{\Theta },\mathrm{\Phi }\in \mathrm{Con}\mathbf{A}$,

• weakly regular if $\mathrm{\Theta },\mathrm{\Phi }\in \mathrm{Con}\mathbf{A}$ and $[1]\mathrm{\Theta }=[1]\mathrm{\Phi }$ together imply $\mathrm{\Theta }=\mathrm{\Phi }$.

A variety (with 1 in its similarity type) is said to have the corresponding property if every of its members has this property.

From Chajda et al. (2012), we take the following well-known facts:

Let $\mathcal{V}$ be a variety. Then, the following hold:

• $\mathcal{V}$ is congruence permutable if and only if there exists a ternary term t in $\mathcal{V}$ satisfying the identities $t(x,x,y)\approx t(y,x,x)\approx y$ (Theorem 3.1.8),

• If there exists a ternary term t in $\mathcal{V}$ satisfying the identities $t(x,x,y)\approx t(x,y,x)\approx t(y,x,x)\approx x$, then $\mathcal{V}$ is congruence distributive (Corollary 3.2.4),

• $\mathcal{V}$ is congruence regular if and only if there exist a positive integer n and ternary terms $t_1,\dots ,t_n$ in $\mathcal{V}$ such that $t_1(x,y,z)=\cdots =t_n(x,y,z)=z$ is equivalent to $x=y$ (Theorem 6.1.3),

• $\mathcal{V}$ is 3-permutable if and only if there exist ternary terms $t_1,t_2$ of $\mathcal{V}$ satisfying the identities $t_1(x,z,z)\approx x$, $t_1(x,x,z)=t_2(x,z,z)$ and $t_2(x,x,z)\approx z$ (Theorem 3.1.18).

A variety $\mathcal{V}$ with an equationally definable constant 1 is

• permutable at 1 if and only if there exists a binary term t in $\mathcal{V}$ satisfying the identities $t(x,x)\approx 1$ and $t(x,1)\approx x$ (Theorem 6.6.11),

• weakly regular if and only if there exist a positive integer n and binary terms $t_1,\dots ,t_n$ in $\mathcal{V}$ such that $t_1(x,y)=\cdots =t_n(x,y)=1$ is equivalent to $x=y$ (Theorem 6.4.3).

We are now able to prove

Lemma 3.1

• (i)The variety of groupoids $(A,\to )$ satisfying identities (8), (10) and (11) is 3-permutable and weakly regular.
• (ii)The variety of groupoids $(A,\to )$ satisfying identities (8) and (10) is permutable at 1.

Proof

• (i)
  If

  $$\begin{array}{cc}\hfill t_1(x,y,z):=& (z\to y)\to x,\hfill \\ \hfill t_2(x,y,z):=& (x\to y)\to z,\hfill \end{array}$$

  then

  $$\begin{array}{cc}\hfill t_1(x,z,z)\approx & (z\to z)\to x\approx 1\to x\hfill \\ \hfill \approx & x\text{according to (8) and (10)},\hfill \\ \hfill t_1(x,x,z)\approx & (z\to x)\to x\approx (x\to z)\to z\hfill \\ \hfill \approx & t_2(x,z,z)\text{according to (11) and}\hfill \\ \hfill t_2(x,x,z)\approx & (x\to x)\to z\approx 1\to z\hfill \\ \hfill \approx & z\text{according to (8) and (10)}.\hfill \end{array}$$

  If

  $$\begin{array}{cc}\hfill t_1(x,y):=& x\to y,\hfill \\ \hfill t_2(x,y):=& y\to x,\hfill \end{array}$$

  then

  $$\begin{array}{cc}& t_1(x,x)\approx x\to x\approx 1\text{according to (8)},\hfill \\ \hfill & t_2(x,x)\approx x\to x\approx 1\text{according to (8)},\hfill \\ \hfill & t_1(x,y)=t_2(x,y)=1\Rightarrow x=1\to x=(y\to x)\hfill \\ \hfill & \to x=(x\to y)\to y=1\to y=y\hfill \\ \hfill & \text{according to (10) and (11)}.\hfill \end{array}$$
• (ii)
  If

  $$\begin{array}{c}\hfill t(x,y):=y\to x,\end{array}$$

  then

  $$\begin{array}{cc}\hfill t(x,x)\approx & x\to x\approx 1\text{according to (8)},\hfill \\ \hfill t(x,1)\approx & 1\to x\approx x\text{according to (10)}.\hfill \end{array}$$

$\square$

Since implication NMV-algebras satisfy (8), (10) and (11), we obtain

Theorem 3.2

The variety of implication NMV-algebras is 3-permutable, permutable at 1 and weakly regular.

In the case of implication NMV-algebras with 0 and antitone negation, we obtain a stronger result.

Theorem 3.3

The variety of implication NMV-algebras $(A,\to ,0)$ with 0 satisfying the identity

$$\begin{array}{cc}& ((((x\to y)\to y)\to 0)\to (x\to 0))\to (x\to 0)\hfill \\ \hfill & \approx x\to 0\hfill \end{array}$$ 17

is arithmetical and congruence regular.

Proof

Identity (17) can be rewritten in the form $\neg (x\bigsqcup y)\bigsqcup \neg x\approx \neg x$ which is equivalent to the fact that the negation is antitone. If we define $x\sqcap y:=\neg (\neg x\bigsqcup \neg y)$ for all $x,y\in A$, then the De Morgan laws hold and $\bigsqcup$ and $\sqcap$ have similar properties as lattice operations do have. If

$$\begin{array}{c}\hfill t(x,y,z):=((x\to y)\to z)\sqcap ((z\to y)\to x),\end{array}$$

then

$$\begin{array}{cc}\hfill t(x,x,z)\approx & ((x\to x)\to z)\sqcap ((z\to x)\to x)\hfill \\ \hfill \approx & (1\to z)\sqcap (z\bigsqcup x)\approx z\sqcap (z\bigsqcup x)\approx z\hfill \\ \hfill & \text{according to (8) and (10)},\hfill \\ \hfill t(z,x,x)\approx & ((z\to x)\to x)\sqcap ((x\to x)\to z)\hfill \\ \hfill \approx & (z\bigsqcup x)\sqcap (1\to z)\approx (z\bigsqcup x)\sqcap z\approx z\hfill \\ \hfill & \text{according to (8) and (10)}.\hfill \end{array}$$

If

$$\begin{array}{c}\hfill t(x,y,z):=((x\bigsqcup y)\sqcap (y\bigsqcup z))\sqcap (z\bigsqcup x),\end{array}$$

then

$$\begin{array}{cc}\hfill t(x,x,y)\approx & ((x\bigsqcup x)\sqcap (x\bigsqcup y))\sqcap (y\bigsqcup x)\hfill \\ \hfill \approx & x\sqcap (y\bigsqcup x)\approx x,\hfill \\ \hfill t(x,y,x)\approx & ((x\bigsqcup y)\sqcap (y\bigsqcup x))\sqcap (x\bigsqcup x)\hfill \\ \hfill \approx & (x\bigsqcup y)\sqcap x\approx x,\hfill \\ \hfill t(y,x,x)\approx & ((y\bigsqcup x)\sqcap (x\bigsqcup x))\sqcap (x\bigsqcup y)\hfill \\ \hfill \approx & x\sqcap (x\bigsqcup y)\approx x.\hfill \end{array}$$

If

$$\begin{array}{cc}& v:=(x\to y)\sqcap (y\to x),\hfill \\ \hfill & t_1(x,y,z):=v\sqcap z,\hfill \\ \hfill & t_2(x,y,z):=v\to z,\hfill \end{array}$$

then

$$\begin{array}{cc}\hfill t_1(x,x,z)\approx & ((x\to x)\sqcap (x\to x))\sqcap z\approx (1\sqcap 1)\sqcap z\hfill \\ \hfill \approx & z\text{according to}\hfill \\ \hfill & \text{(8)},\hfill \\ \hfill t_2(x,x,z)\approx & ((x\to x)\sqcap (x\to x))\to z\approx (1\sqcap 1)\to z\hfill \\ \hfill \approx & 1\to z\approx z\hfill \\ \hfill & \text{according to (8) and (10)},\hfill \\ \hfill t_1(x,y,z)=& t_2(x,y,z)=z\Rightarrow x\to y,y\to x\hfill \\ \hfill \ge & v=v\bigsqcup (v\sqcap z)=v\bigsqcup z\hfill \\ \hfill =& (v\to z)\to z=z\to z=1\hfill \\ \hfill & \text{according to (8) and hence}x\hfill \\ \hfill & \to y=y\to x\hfill \\ \hfill =& 1\text{whence}x=y.\hfill \end{array}$$

$\square$

Sheffer stroke NMV-algebras

A binary operation called Sheffer stroke was introduced by Sheffer (1913) in order to have the single operation on a Boolean algebra which generates the clone of all Boolean operations. It has an important application in chip technology since it enables to have all the diods on the chip forming processor in a computer in a uniform manner. This is simpler and cheaper than to produce different diods for disjunction, conjunction and negation. Sheffer operations were also introduced in other algebras which form an algebraic semantic of non-classical logics such as orthomodular lattices, ortholattices (Chajda 2005) or basic algebras (Oner and Senturk 2017). However, all of these algebras have a lattice structure which is not the case for NMV-algebras. Contrary to this, we are able to define a Sheffer operation also for NMV-algebras and their implication reducts.

Definition 4.1

A strong Sheffer stroke NMV-algebra is an algebra (A, |, 1) of type (2, 0) satisfying the identities

$$\begin{array}{cc}& x|y\approx y|x,\hfill \\ \hfill & x|0\approx 1,\hfill \\ \hfill & (x|1)|1\approx x,\hfill \\ \hfill & ((x|1)|y)|y\approx ((y|1)|x)|x,\hfill \\ \hfill & (x|1)|((x|y)|1)\approx 1,\hfill \\ \hfill & x|(((((x|y)|y)|z)|z)|1)\approx 1,\hfill \end{array}$$

where 0 denotes the algebraic constant 1|1. The operation | will be called the strong Sheffer stroke.

We justify the name strong Sheffer stroke NMV-algebra, respectively, strong Sheffer stroke by the following result.

Theorem 4.2

Let $\mathbf{A}=(A,\oplus ,\neg ,0)$ be an NMV-algebra and put

$$\begin{array}{cc}\hfill x|y:=& \neg x\oplus \neg y\hfill \end{array}$$

for all $x,y\in A$. Then, $\mathbb{S}(\mathbf{A}):=(A,|,1)$ is a strong Sheffer stroke NMV-algebra.

Proof

The following identities are satisfied:

$$\begin{array}{cc}& 1|1\approx \neg 1\oplus \neg 1\approx 0,\hfill \\ \hfill & x|y\approx \neg x\oplus \neg y\approx \neg y\oplus \neg x\approx y|x,\hfill \\ \hfill & x|0\approx \neg x\oplus \neg 0\approx 1,\hfill \\ \hfill & x|1\approx \neg x\oplus \neg 1\approx \neg x,\hfill \\ \hfill & ((x|1)|1\approx \neg (\neg x)\approx x,\hfill \\ \hfill & ((x|1)|y)|y\approx \neg (\neg \neg x\oplus \neg y)\oplus \neg y\hfill \\ \hfill & \approx \neg (\neg \neg y\oplus \neg x)\oplus \neg x\approx ((y|1)|x)|x,\hfill \\ \hfill & (x|1)|((x|y)|1)\approx \neg \neg x\oplus \neg \neg (\neg x\oplus \neg y)\hfill \\ \hfill & \approx \neg \neg x\oplus (\neg x\oplus \neg y)\approx 1,\hfill \\ \hfill & x|(((((x|y)|y)|z)|z)|1)\approx \neg x\oplus \neg \neg (\neg (\neg (\neg (\neg x\oplus \neg y)\hfill \\ \hfill & \oplus \neg y)\oplus \neg z)\oplus \neg z)\approx 1.\hfill \end{array}$$

$\square$

Of course, our main goal is to prove that the strong Sheffer stroke acts on NMV-algebras in an analogous way as the Sheffer stroke does on Boolean algebras, i.e., every operation of an NMV-algebra can be expressed by means of the strong Sheffer operation and the constant 1.

Theorem 4.3

Let $\mathbf{S}=(A,|,1)$ be a strong Sheffer stroke NMV-algebra and put

$$\begin{array}{cc}& x\oplus y:=(x|1)|(y|1),\hfill \\ \hfill & \neg x:=x|1,\hfill \\ \hfill & 0:=1|1\hfill \end{array}$$

for all $x,y\in A$. Then, $\mathbb{A}(\mathbf{S}):=(A,\oplus ,\neg ,0)$ is an NMV-algebra.

Proof

The following identities are satisfied:

$$\begin{array}{cc}& \neg 0\approx (1|1)|1\approx 1,\hfill \\ \hfill & \neg x\oplus y\approx ((x|1)|1)|(y|1)\approx x|(y|1),\hfill \end{array}$$

• (1) $x\oplus y\approx (x|1)|(y|1)\approx (y|1)|(x|1)\approx y\oplus x$,

• (2) $x\oplus 0\approx (x|1)|(0|1)\approx (x|1)|(1|0)\approx (x|1)|1\approx x$,

• (3) $x\oplus 1\approx (x|1)|(1|1)\approx (x|1)|0\approx 1$,

• (4) $\neg (\neg x)\approx (x|1)|1\approx x$,

• (5) $\neg (\neg x\oplus y)\oplus y\approx (x|(y|1))|(y|1)\approx (((x|1)|1)|(y|1))|(y|1)\approx (((y|1)|1)|(x|1))|(x|1)\approx (y|(x|1))|(x|1)\approx \neg (\neg y\oplus x)\oplus x$,

• (6) $\neg x\oplus (x\oplus y)\approx ((x|1)|1)|(((x|1)|(y|1))|1)\approx 1$,

• (7) $x\oplus (\neg (\neg (\neg (x\oplus y)\oplus y)\oplus z)\oplus z)\approx (x|1)|((((((((((((x|1)|(y|1))|1)|1)|(y|1))|1)|1)|(z|1))|1)|1)|(z|1))|1)\approx (x|1)|((((((x|1)|(y|1))|(y|1))|(z|1))|(z|1))|1)\approx 1.$$\square$

We are now able to prove that the correspondence just considered is one to one.

Theorem 4.4

The above-mentioned correspondence is one to one.

Proof

If $\mathbf{A}=(A,\oplus ,\neg ,0)$ is an NMV-algebra, $\mathbb{S}(\mathbf{A})=(A,|,1)$ and $\mathbb{A}(\mathbb{S}(\mathbf{A}))=(A,{\oplus }_1,$${\neg }_1,0_1)$, then the identities

$$\begin{array}{cc}& x{\oplus }_{1}y\approx (x|1)|(y|1)\approx \neg (\neg x\oplus \neg 1)\oplus \neg (\neg y\oplus \neg 1)\hfill \\ \hfill & \approx x\oplus y,\hfill \\ \hfill & {\neg }_{1}x\approx x|1\approx \neg x\oplus \neg 1\approx \neg x,\hfill \\ \hfill & 0_1\approx 1|1\approx \neg 1\oplus \neg 1\approx \neg (\neg 0)\oplus \neg (\neg 0)\approx 0\oplus 0\approx 0\hfill \end{array}$$

are satisfied and hence $\mathbb{A}(\mathbb{S}(\mathbf{A}))=\mathbf{A}$.

If $\mathbf{S}=(A,|,1)$ is a strong Sheffer stroke NMV-algebra, $\mathbb{A}(\mathbf{S})=(A,\oplus ,\neg ,0)$ and $\mathbb{S}(\mathbb{A}(\mathbf{S}))=(A,{|}_1,1_1)$, then the identities

$$\begin{array}{cc}& {x|}_{1}y\approx \neg x\oplus \neg y\approx ((x|1)|1)|((y|1)|1)\approx x|y,\hfill \\ \hfill & 1_1\approx \neg 0\approx 0|1\approx 1|0\approx 1\hfill \end{array}$$

are satisfied and hence $\mathbb{S}(\mathbb{A}(\mathbf{S}))=\mathbf{S}$. $\square$

We continue our investigations by considering implication NMV-algebras. Surprisingly, a Sheffer stroke can be introduced also in this case, but some of the axioms must be modified.

Definition 4.5

A weak Sheffer stroke NMV-algebra is an algebra (A, |, 1) of type (2, 0) satisfying the identities

$$\begin{array}{cc}& (x|1)|1\approx x,\hfill \\ \hfill & x|(x|1)\approx 1,\hfill \\ \hfill & x|(1|1)\approx 1,\hfill \\ \hfill & 1|x\approx x|1,\hfill \\ \hfill & ((x|1)|y)|y\approx ((y|1)|x)|x,\hfill \\ \hfill & (x|1)|((y|x)|1)\approx 1,\hfill \\ \hfill & x|(((((x|y)|y)|z)|z)|1)\approx 1,\hfill \\ \hfill & (1|1)|x\approx 1.\hfill \end{array}$$

The operation | will be called the weak Sheffer stroke.

Similarly as before, the weak Sheffer stroke NMV-algebra can be derived by means of an implication NMV-algebra as follows.

Theorem 4.6

Let $\mathbf{A}=(A,\to ,0)$ be an implication NMV-algebra with 0 and put

$$\begin{array}{c}\hfill x|y:=x\to \neg y\end{array}$$

for all $x,y\in A$. Then, $\mathbb{W}(\mathbf{A}):=(A,|,1)$ is a weak Sheffer stroke NMV-algebra.

Proof

The following identities are satisfied:

$$\begin{array}{cc}& x|1\approx x\to \neg 1\approx x\to 0\approx \neg x,\hfill \\ \hfill & (x|1)|1\approx \neg (\neg x)\approx x,\hfill \\ \hfill & x|(x|1)\approx x\to \neg (\neg x)\approx x\to x\approx 1,\hfill \\ \hfill & x|(1|1)\approx x\to \neg (\neg 1)\approx x\to 1\approx 1,\hfill \\ \hfill & 1|x\approx 1\to \neg x\approx \neg x\approx x\to 0\hfill \\ \hfill & \approx x\to \neg 1\approx x|1,\hfill \\ \hfill & ((x|1)|y)|y\approx (\neg x\to \neg y)\to \neg y\hfill \\ \hfill & \approx (\neg y\to \neg x)\to \neg x\approx ((y|1)|x)|x,\hfill \\ \hfill & (x|1)|((y|x)|1)\approx \neg x\to \neg (\neg (y\to \neg x))\hfill \\ \hfill & \approx \neg x\to (y\to \neg x)\approx 1,\hfill \\ \hfill & x|(((((x|y)|y)|z)|z)|1)\approx x\to \neg (\neg ((((x\to \neg y)\to \neg y)\hfill \\ \hfill & \to \neg z)\to \neg z))\hfill \\ \hfill & \approx x\to ((((x\to \neg y)\to \neg y)\to \neg z)\to \neg z)\approx 1,\hfill \\ \hfill & (1|1)|x\approx (1\to \neg 1)\to \neg x\approx \neg 1\to \neg x\approx 0\to \neg x\approx 1.\hfill \end{array}$$

$\square$

Analogously, as it was the case for the strong Sheffer stroke, the weak Sheffer operation generates the fundamental operations of an implication NMV-algebra with 0.

Theorem 4.7

Let $\mathbf{S}=(A,|,1)$ be a weak Sheffer stroke NMV-algebra and put

$$\begin{array}{cc}& x\to y:=x|(y|1),\hfill \\ \hfill & 0:=1|1\hfill \end{array}$$

for all $x,y\in A$. Then, ${\mathbb{I}}_1(\mathbf{S}):=(A,\to ,0)$ is an implication NMV-algebra with 0.

Proof

The following identities are satisfied:

• (8) $x\to x\approx x|(x|1)\approx 1\approx y|(y|1)\approx y\to y$,

• (9) $x\to 1\approx x|(1|1)\approx 1$,

• (10) $1\to x\approx 1|(1|x)\approx (x|1)|1\approx x$,

• (11) $(x\to y)\to y\approx (x|(y|1))|(y|1)\approx (((x|1)|1)|(y|1))|(y|1)\approx (((y|1)|1)|(x|1))|(x|1)\approx (y|(x|1))|(x|1)\approx (y\to x)\to x$,

• (12) $x\to (y\to x)\approx x|((y|(x|1))|1)\approx ((x|1)|1)|((y|(x|1))|1)\approx 1$,

• (13) $x\to ((((x\to y)\to y)\to z)\to z)\approx x|(((((x|(y|1))|(y|1))|(z|1))|(z|1))|1)\approx 1$,

• (14) $0\to x\approx (1|1)|(x|1)\approx 1$. $\square$

Again we can prove that the correspondence described by the last two theorems is one to one.

Theorem 4.8

The above-mentioned correspondence is one to one.

Proof

If $\mathbf{A}=(A,\to ,0)$ is an implication NMV-algebra with 0, $\mathbb{W}(\mathbf{A})=(A,|,1)$ and ${\mathbb{I}}_1(\mathbb{W}(\mathbf{A}))=(A,{\to }_1,0_1)$, then the identities

$$\begin{array}{cc}& x{\to }_{1}y\approx x|(y|1)\approx x\to \neg (y\to \neg 1)\hfill \\ \hfill & \approx x\to \neg (y\to 0)\approx x\to \neg (\neg y)\approx x\to y,\hfill \\ \hfill & 0_1\approx 1|1\approx 1\to \neg 1\approx 1\to 0\approx \neg 1\approx 0\hfill \end{array}$$

are satisfied and hence ${\mathbb{I}}_1(\mathbb{W}(\mathbf{A}))=\mathbf{A}$.

If $\mathbf{S}=(A,|,1)$ is a weak Sheffer stroke NMV-algebra, ${\mathbb{I}}_1(\mathbf{S})=(A,\to ,0)$ and $\mathbb{W}({\mathbb{I}}_1(\mathbf{S}))=(A,{|}_1,1_1)$, then the identities

$$\begin{array}{cc}& {x|}_{1}y\approx x\to \neg y\approx x|((y|((1|1)|1))|1)\approx x|((y|1)|1)\approx x|y,\hfill \\ \hfill & 1_1\approx \neg 0\approx 0|(0|1)\approx 1\hfill \end{array}$$

are satisfied and hence $\mathbb{W}({\mathbb{I}}_1(\mathbf{S}))=\mathbf{S}$. $\square$

Let us note, finally, that the weak Sheffer stroke not only determines the operation $\to$ of the induced implication NMV-algebra with 0, but in fact also the induced poset as well as the induced directoid since we have $x\le y$ if and only if $x|(y|1)=1$ and, moreover, the identity $x\bigsqcup y\approx (x|(y|1))|(y|1)$ is satisfied.

Conflict of interest

The authors declare that they have no conflict of interest.

Human and animal rights

This article does not contain any studies with human participants or animals performed by any of the authors.