Free Łukasiewicz implication algebras (Q937211)

A Łukasiewicz implication algebra is an algebra \(A=(A,\rightarrow ,1)\) of type \((2,0)\) that satisfies the equations: \(1\rightarrow x\thickapprox x;(x\rightarrow y)\rightarrow y\thickapprox (y\rightarrow x)\rightarrow x;(x\rightarrow y)\rightarrow ((y\rightarrow z)\rightarrow (x\rightarrow z))\thickapprox 1;(x\rightarrow y)\rightarrow (y\rightarrow x)\thickapprox y\rightarrow x\) (these algebras are the \(\{\rightarrow ,1\}\)-subreducts of MV-algebras and are the algebraic counterpart of Super-Łukasiewicz implicational logics). The scope of this paper is to give a description of free Łukasiewicz implication algebra in the context of McNaughton functions. More precisely, the author shows that the \(| X| \)-free Łukasiewicz implication algebra is isomorphic to \(\bigcup [x_{\theta }),x\in X,\) for a certain congruence \(\theta \) over the \(| X| \)-free MV-algebra. As corollary the author describes the free algebras in all subvarieties of Łukasiewicz implication algebras.