\(L\)-algebras and three main non-classical logics (Q2140578)

For \(L\)-algebras, the reader can consult the author's [J. Algebra 320, No. 6, 2328--2348 (2008; Zbl 1158.06009)]. The three logics are: the intuitionistic, the many-valued and the quantum one; they are presented in the paper algebraically as the class \textbf{Hilb} of bounded Hilbert algebras, the class \textbf{MV} of MV-algebras and the class \textbf{OML} of orthomodular lattices respectively. Discussed are also the class \textbf{Gliv} of Glivenko algebras [the author, Algebra Univers. 61, No. 3--4, 455--473 (2009; Zbl 1185.03097)], the class \textbf{LEA} of lattice effect algebras and a new class \textbf{oH} of ortho-Hilbert algebras, which are interpreted as quantum versions of Hilbert akgebras. All these classes are presented as classes of \(L\)-algebras. More specifically, the author describes a subclass \textbf{iL} of \(L\)-algebras, called implicative by him, and then presents an 8-element lattice of subclasses of \textbf{iL} with three coatoms \textbf{Gliv, oH, LEA}, three atoms \textbf{Hilb} = \textbf{Gliv} \(\cap\) \textbf{oH}, \textbf{MV} = \textbf{Gliv} \(\cap\) \textbf{LEA}, \textbf{OML} = \textbf{oH} \(\cap\) \textbf{LEA} and bounds \textbf{iL} and \textbf{Bool}, the class of Boolean algebras, which also is the intersection of any pair of atoms. The paper includes also sections on some structures associated to an \(L\)-algebra and their applications to general as well as above-mentioned special implicative \(L\)-algebras. The conclusion contains further remarks on \(L\)-algebras -- both general ones and those considered in the paper.