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 / 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