MVLSC HomeIssue Contents

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

Full Text (IP)