On pseudo-equality algebras

Archive for Mathematical Logic 53 (5-6):561-570 (2014)
  Copy   BIBTEX

Abstract

Recently, a new algebraic structure called pseudo-equality algebra has been defined by Jenei and Kóródi as a generalization of the equality algebra previously introduced by Jenei. As a main result, it was proved that the pseudo-equality algebras are term equivalent with pseudo-BCK meet-semilattices. We found a gap in the proof of this result and we present a counterexample and a correct version of the theorem. The correct version of the corresponding result for equality algebras is also given.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Pseudo equality algebras.Sándor Jenei & László Kóródi - 2013 - Archive for Mathematical Logic 52 (5-6):469-481.
Equality Algebras.Sándor Jenei - 2012 - Studia Logica 100 (6):1201-1209.
On the structure of linearly ordered pseudo-BCK-algebras.Anatolij Dvurečenskij & Jan Kühr - 2009 - Archive for Mathematical Logic 48 (8):771-791.
Varieties of pseudo-interior algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.
Equality Logic.Shokoofeh Ghorbani - 2020 - Bulletin of the Section of Logic 49 (3):291-324.
On the search for a finitizable algebraization of first order logic.I. Sain - 2000 - Logic Journal of the IGPL 8 (4):497-591.

Analytics

Added to PP
2015-09-03

Downloads
22 (#166,999)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?