Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Pseudo Equality Algebras -- Revision   Recently Jenei introduced a new structure called equality algebras which is
inspired by ideas of BCK-algebras with meet. These algebras were generalized by
Jenei and K\'or\'odi to pseudo equality algebras which are aimed to find a
connection with pseudo BCK-algebras with meet. We show that every pseudo
equality algebra is an equality algebra. Therefore, we define a new type of
pseudo equality algebras which more precisely reflects the relation to pseudo
BCK-algebras with meet in the sense of Kabzi\'nski and Wro\'nski. We describe
congruences via normal closed deductive systems, and we show that the variety
of pseudo equality algebras is subtractive, congruence distributive and
congruence permutable.

35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
16
The categories of this paper are: stat
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th