Abstract
The notion of a positive implicative equality algebras are defined, and related properties are studied. Characterizations of a positive implicative equality algebra is investigated. Conditions for an equality algebra to be positive implicative are provided. Equality algebra with some types is considered, and several properties are investigated. Using equality algebra with some types, we characterize a commutative equality algebra and a positive implicative algebra.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
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 Algebraic Hyperstructures and Logical Algebras
Paper Title
Journal
Date
