On Compatible Deductive Systems of Pseudo-BCI-Algebras
Grzegorz Dymek
Characterizations and basic properties of (closed) deductive systems of pseudo-BCI-algebras are given. One-to-one correspondence between closed compatible deductive systems and congruence kernels is proved. Some useful characterization of compatibility of closed deductive systems is also presented. Finally, some congruence properties of varieties of pseudo-BCI-algebras are displayed.
Keywords: Pseudo-BCI-algebra, (compatible) deductive system
Mathematics Subject Classification (2010): 03G25, 06F35