Various Deductive Systems of Pseudo-BCI Algebras
Grzegorz Dymek
The notions of strong deductive systems, regular deductive systems, anti-grouped deductive systems, obstinate deductive systems, deductive (→)-systems and deductive (⇝)-systems of pseudo-BCI algebras are defined, studied and characterized.
Keywords: Pseudo-BCI algebra, deductive system