Pseudo equality algebras

  title={Pseudo equality algebras},
  author={S. Jenei and L. K{\'o}r{\'o}di},
  journal={Archive for Mathematical Logic},
A new structure, called pseudo equality algebras, will be introduced. It has a constant and three connectives: a meet operation and two equivalences. A closure operator will be introduced in the class of pseudo equality algebras; we call the closed algebras equivalential. We show that equivalential pseudo equality algebras are term equivalent with pseudo BCK-meet-semilattices. As a by-product we obtain a general result, which is analogous to a result of Kabziński and Wroński: we provide an… Expand
On pseudo-equality algebras
  • L. Ciungu
  • Mathematics, Computer Science
  • Arch. Math. Log.
  • 2014
Monadic pseudo-equality algebras
  • S. Ghorbani
  • Mathematics, Computer Science
  • Soft Comput.
  • 2019
Internal states on equality algebras
  • L. Ciungu
  • Mathematics, Computer Science
  • Soft Comput.
  • 2015
Involutive equality algebras
On a symmetrization of hemiimplicative semilattices
l-Hemi-Implicative Semilattices
Filter theory of pseudo equality algebras
  • Meng Liu, X. Xin
  • Mathematics, Computer Science
  • J. Intell. Fuzzy Syst.
  • 2020
Fuzzy weak hyper deductive systems of hyper equality algebras and their measures


Equality Algebras
  • S. Jenei
  • Mathematics, Computer Science
  • 2010 11th International Symposium on Computational Intelligence and Informatics (CINTI)
  • 2010
On the structure of linearly ordered pseudo-BCK-algebras
On subtractive varieties, I
The Structure of Residuated Lattices
Pseudo-BCK Algebras: An Extension of BCK Algebras
A Survey of Residuated Lattices
Residuated Lattices.
  • M. Ward, R. P. Dilworth
  • Mathematics, Medicine
  • Proceedings of the National Academy of Sciences of the United States of America
  • 1938