In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of (prelinear) equality∆-algebras and investigate some related properties. Also, we study ∆-deductive systems of equality∆-algebras. In particular, we prove that every prelinear equality ∆-algebra is a subdirect product of linearly ordered equality∆-algebras. Finally, we construct prelinear equality ∆ logic and prove the soundness and strong completeness of this logic respect to prelinear equality∆-algebras.
 W. J. Blok, D. Pigozzi, Algebraizable logics, vol. 77, American Mathematical Society (1989), DOI: http://dx.doi.org/10.1090/memo/0396
 W. J. Blok, D. Pigozzi, Abstract algebraic logic and the deduction theorem (2001), URL: https://orion.math.iastate.edu/dpigozzi/papers/aaldedth.pdf
 R. Borzooei, F. Zebardast, M. Aaly Kologani, Some types of filters in equality algebras, Categories and General Algebraic Structures with Applications, vol. 7 (Special Issue on the Occasion of Banaschewski's 90th Birthday (II)) (2017), pp. 33–55, DOI: http://dx.doi.org/10.1007/s00500-005-0534-4
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.