The subvariety of commutative residuated lattices represented by twist-products (Q2449445)

From MaRDI portal
Revision as of 11:38, 8 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
The subvariety of commutative residuated lattices represented by twist-products
scientific article

    Statements

    The subvariety of commutative residuated lattices represented by twist-products (English)
    0 references
    0 references
    0 references
    8 May 2014
    0 references
    The authors study the subvariety \(K\) of integral commutative residuated lattices \(L\) that can be represented by twist-products, that is, the product \(L \times L\) can be endowed with the structure of a commutative residuated lattice with involution. They give an equational characterization of this subvariety and analyze the subvariety of representable algebras in \(K\). For the case of bounded integral commutative residuated lattices, the authors generalize a result by \textit{S. P. Odintsov} [J. Log. Comput. 13, No. 4, 453--468 (2003; Zbl 1034.03029); Stud. Log. 76, No. 3, 385--405 (2004; Zbl 1047.03050); Constructive negations and paraconsistency. Dordrecht: Springer (2008; Zbl 1161.03014)] for generalized Heyting algebras.
    0 references
    twist-product
    0 references
    residuated lattice
    0 references
    Glivenko residuated lattice
    0 references
    involution
    0 references

    Identifiers