Results in L-algebras (Q2226978)

From MaRDI portal
Revision as of 12:49, 24 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references