Abstract
The present paper aims to study a special class of equality algebras, called involutive equality algebra. We obtain some properties of this structure and prove that every linearly ordered 0-compatible equality algebra includes a \((\sim _0)\)-involutive subalgebra. We prove that each \((\sim _0)\)-involutive equality algebra is a lattice, while it is distributive under a suitable condition. Then, we define \((\sim _0)\)-involutive deductive systems on bounded equality algebras and represent a condition under which the set of all dense elements of an equality algebra is a \((\sim _0)\)-involutive deductive system. Finally, we find the relations among 0-compatible equality algebras, residuated lattices and Boolean algebras.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Boicescu V, Filipoiu A, Georgescu G, Rudeanu S (1991) Lukasiewicz-Moisil algebras, Annals of Discrete Mathematics, vol 49. Elsevier, North Holland
Borzooei RA, Zebardasta F, Aaly Kologani M (2017) Some types of filters in equality algebras. Categ Gen Algebr Struct Appl 7:33–55
Busneag D (1993) Hertz algebras of fractions and maximal Hertz algebra of quotients. Math Jpn 39:461–469
Ciungu LC (2014) On pseudo-equality algebras. Arch Math Log 53:561–570
Ciungu LC (2015) Internal states on equality algebras. Soft Comput 19:939–953
Ciungu LC (2017) Commutative pseudo equality algebras. Soft Comput 21:4601–4616
Dvurečenskij A, Zahiri O (2016) Pseudo equality algebras: revision. Soft Comput 20(6):2091–2101
Jenei S (2012) Equality algebras. Stud Log 100:1201–1209
Jenei S, Kóródi L (2013) Pseudo-equality algebras. Arch Math Log 52:469–481
Muresan C (2010) Dense elements and classes of residuated lattices. Bull Math Soc Sci Math Roum Nouv Ser 53(101)(1):11–24
Novák V (2007) EQ-Algebras in progress. In: Castillo O, Melin P, Ross OM, Sepúlveda Cruz R, Pedrycz W, Kacprzyk J (eds) Theoretical advances and applications of fuzzy logic and soft computing. Advances in Soft Computing, vol 42. Springer, Berlin, Heidelberg
Novák V, De Baets B (2009) EQ-algebras. Fuzzy Sets Syst 160:2956–2978
Rachůnek J, Šalounová D (2017) Ideals and involutive filters in generalizations of fuzzy structures. Fuzzy Sets Syst 311:70–85
Ward M, Dilworth RP (1939) Residuated Lattices. Trans Am Math Soc 45:335–354
Zarean M, Borzooei RA, Zahiri O (2017) On state equality algebras. Quasigr Relat Syst 25(2):211–220
Zebardasta F, Borzooei RA, Aaly M (2017) Kologani Results on equality algebras. Inf Sci 381:270–282
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict of interest.
Human and animal rights
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by A. Di Nola.
Rights and permissions
About this article
Cite this article
Borzooei, R.A., Zarean, M. & Zahiri, O. Involutive equality algebras. Soft Comput 22, 7505–7517 (2018). https://doi.org/10.1007/s00500-018-3032-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-018-3032-1