Results in L-algebras (Q2226978): Difference between revisions
From MaRDI portal
Latest revision as of 13:49, 24 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Results in L-algebras |
scientific article |
Statements
Results in L-algebras (English)
0 references
9 February 2021
0 references
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.
0 references
L-algebra
0 references
KL-algebra
0 references
CL-algebra
0 references
self-similar L-algebra
0 references
self-similar closure
0 references
ideal
0 references
commutative ideal
0 references
0 references
0 references