On subtractive weak Brouwerian semilattices (Q1272152)

A variety \(\mathcal V\) is subtractive if there is a binary term \(b(x,y)\) such that \(b(x,x) = 1\) and \(b(1,x) = x\) hold in \(\mathcal V\). A WBSO variety is a variety of weak Brouwerian semilattices with filter preserving operations. Every WBSO variety \(\mathcal V\) has a binary term \(\rightarrow \) which satisfies the identities \(x\rightarrow x =1\), \(x\rightarrow 1 =1\) and the quasiidentity \(1\rightarrow x = 1\Rightarrow x =1\). If, moreover, \(\mathcal V\) satisfies \(1\rightarrow x = x\), then \(\mathcal V\) is called a WBSO\(^{\#}\) variety. The main result: For a variety \(\mathcal V\) with 1, the following are equivalent: (1) \(\mathcal V\) is a subtractive WBSO variety; (2) \(\mathcal V\) is a WBSO\(^{\#}\) variety. The author constructs an example showing that the class of WBSO\(^{\#}\) varieties is strictly larger then the class of congruence permutable WBSO varieties.