Results in L-algebras (Q2226978): Difference between revisions

For L-algebras, their commutativity, self-similarity and ideals, see [\textit{W. Rump}, J. Algebra 320, No. 6, 2328--2348 (2008; Zbl 1158.06009)]. An L-algebra \((A,\to,1)\) is called a KL-algebra (a CL-algebra), if it satisfies also the axiom \(x \to (y \to x) = 1\) (\((x \to (y \to z)) \to (y \to (x \to z)) = 1\)). Any CL-algebra is a KL-algebra. The author studies properties of these subclasses of L-algebras, characterizes commutative KL- and CL-algebras (in particular, in terms of so called commutative ideals introduced in the paper), and demonstrate that various well-known structures of algebraic logic (or their reducts) are L-algebras. Reviewer's note: In the literature on algebraic logic, the term `CL-algebra' usually stands for algebras of classical linear logic; these are quite different structures.