Pseudo equality algebras (Q365672)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Pseudo equality algebras |
scientific article; zbMATH DE number 6206980
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Pseudo equality algebras |
scientific article; zbMATH DE number 6206980 |
Statements
Pseudo equality algebras (English)
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
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
0.8999946117401123
0 references
0.8930767178535461
0 references
0.8870353102684021
0 references
0.8315531611442566
0 references
