Pseudo equality algebras (Q365672): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5841991 / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4056047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the structure of linearly ordered pseudo-BCK-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5509706 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Residuated lattices. An algebraic glimpse at substructural logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2752146 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Lattices and Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4165379 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equality algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5693612 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5701829 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On subtractive varieties. I / rank
 
Normal rank

Latest revision as of 20:15, 6 July 2024

scientific article
Language Label Description Also known as
English
Pseudo equality algebras
scientific article

    Statements

    Pseudo equality algebras (English)
    0 references
    0 references
    0 references
    9 September 2013
    0 references
    The concept of pseudo equality algebras is introduced. Some operations are discussed. It is proved that the variety of pseudo equality algebras is subtractive.
    0 references
    0 references
    residuated lattices
    0 references
    BCK-meet-semilattices
    0 references
    Heyting algebras
    0 references
    equivalential algebras
    0 references
    equivalential fragment
    0 references
    term equivalence
    0 references
    equational characterization
    0 references

    Identifiers