Pseudo equality algebras (Q365672): Difference between revisions

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

reviewed by

Jianming Zhan

0 references

zbMATH Keywords

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

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00153-013-0325-z

0 references

cites work

Q5841991

0 references

THE STRUCTURE OF RESIDUATED LATTICES

0 references

Q4056047

0 references

On the structure of linearly ordered pseudo-BCK-algebras

0 references

Q5509706

0 references

Residuated lattices. An algebraic glimpse at substructural logics

0 references

Q2752146

0 references

Continuous Lattices and Domains

0 references

0 references

0 references

0 references

0 references

On subtractive varieties. I

0 references

Identifiers

zbMATH Open document ID

1300.06004

0 references

DOI

10.1007/s00153-013-0325-z

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:365672

@@ Property / review text @@
+The concept of pseudo equality algebras is introduced. Some operations are discussed. It is proved that the variety of pseudo equality algebras is subtractive.
+Normal rank
@@ Property / reviewed by @@
+Jianming Zhan
@@ Property / reviewed by: Jianming Zhan / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F35
@@ Property / Mathematics Subject Classification ID: 06F35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G25
@@ Property / Mathematics Subject Classification ID: 03G25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 08B05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6206980
@@ Property / zbMATH DE Number: 6206980 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+residuated lattices
@@ Property / zbMATH Keywords: residuated lattices / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+BCK-meet-semilattices
@@ Property / zbMATH Keywords: BCK-meet-semilattices / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Heyting algebras
@@ Property / zbMATH Keywords: Heyting algebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equivalential algebras
@@ Property / zbMATH Keywords: equivalential algebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equivalential fragment
@@ Property / zbMATH Keywords: equivalential fragment / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+term equivalence
@@ Property / zbMATH Keywords: term equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equational characterization
@@ Property / zbMATH Keywords: equational characterization / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-013-0325-z
+Normal rank
@@ Property / OpenAlex ID @@
+W1974987615
@@ Property / OpenAlex ID: W1974987615 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5841991
@@ Property / cites work: Q5841991 / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4056047
@@ Property / cites work: Q4056047 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of linearly ordered pseudo-BCK-algebras
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q2752146
@@ Property / cites work: Q2752146 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165379
@@ Property / cites work: Q4165379 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality algebras
@@ Property / cites work: Equality algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701829
@@ Property / cites work: Q5701829 / rank @@
+Normal rank
@@ Property / cites work @@
+On subtractive varieties. I
@@ Property / cites work: On subtractive varieties. I / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:365672