Lattice-theoretic properties of algebras of logic

DOI10.1016/J.JPAA.2014.02.015MaRDI QIDQ2448299zbMATH OpenOpenAlexFDO

Authors Antonio Ledda, Francesco Paoli, Constantine Tsinakis

Publication date 30 April 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2014.02.015

Gödel algebras projectable residuated lattices residuated lattices

Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Ordered groups (06F15)

Review text

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}}

Recommendations

Cites work

Cited in

(25)

This page was built for publication: Lattice-theoretic properties of algebras of logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2448299)