Abstract
In this paper, the concept of an implicative equality algebra is defined and related properties are investigated. Characterizations of an implicative equality algebra and the relation among implicative and positive implicative equality algebras are discussed. Also, we define the notion of annihilator of equality algebras and investigate some traits of it and prove that annihilator of any nonempty set of equality algebras is a deductive system. Moreover, by using this notion, we define the operation and prove that for any commutative equality algebra is a bounded implicative BCK-algebra.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Journal of Discrete Mathematical Sciences and Cryptography
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
