Lattice-theoretic properties of algebras of logic (Q2448299)

The paper deals with characterisations of projectable integral distributive residuated lattices via pseudo-complemented lattice theoretical notions or via (positive) Gödel-algebraic notions. The polar \(X^\bot\) of a subset \(X\) of a pseudo-complemented distributive residuated lattice \(A\) is the set \(\{y \in A : \forall x \in X\, x \vee y = 1 \}\). \(A\) is \textit{projectable} iff for all \(a \in A\) it is isomorphic with the direct sum of \(a^\bot\) with \(a^{\bot\bot}\) equipped with the Cartesian product of the orders of the summands. The main results in the paper, as summarised by the authors, are: {\parindent=6mm \begin{itemize}\item[A)] An integral distributive residuated lattice satisfying that \(x \vee y = 1\) implies \(xy = x \wedge y\), is projectable iff the order dual of each interval \([a,1]\) is a Stone lattice, that is, a pseudo-complemented lattice satisfying the identity \(\neg x \vee \neg\neg x = 1\). \item [B)] An integral GMV-algebra (that is, an integral distributive residuated lattice satisfying \(x/(y\setminus x) = x \vee y = (x/y)\setminus x\)) is projectable iff it can be endowed with a positive Gödel implication. \item [C)] A pseudo MV-algebra (that is, a bounded pointed integral distributive residuated lattice satisfying \(x/(y\setminus x) = x \vee y = (x/y)\setminus x\)) is projectable iff it can be endowed with a Gödel implication. \end{itemize}} Here, in B) and C) a (positive) Gödel implication is the relative pseudocomplement of a (positive) Gödel algebra. A Gödel algebra is a Heyting algebra satisfying \((x \to y) \vee (y \to x) = 1\), and a positive Gödel algebra, or a Gödel hoop, is a relatively pseudo-complemented lattice satisfying \((x \to y) \vee (y \to x) = 1\). The authors introduce the notion of Gödel residuated lattice as an algebra \((A,\wedge,\vee,\cdot,\setminus,/,\to,1,0)\) such that \((A,\wedge,\vee,\cdot,\setminus,/,1,0)\) is an involutive bounded pointed integral distributive residuated lattice, while \((A,\wedge,\vee,\to,1,0)\) is a Gödel algebra. They show that Gödel residuated lattices form a variety \(\mathrm{GRL}\). Further, they prove the following results. {\parindent=6mm \begin{itemize} \item[D)] \(\mathrm{GRL}\) is generated by its totally ordered members. \item [E)] \(\mathrm{GRL}\) is a discriminator variety. \end{itemize}}