Monadic pseudo BCI-algebras and corresponding logics



We introduce the notion of monadic pseudo BCI-algebras and study some related properties. Then, we introduce monadic filters and monadic congruences of monadic pseudo BCI-algebras and discuss the relations between them. We proved that there is a one-to-one correspondence between the set of closed m-congruence relations and the set of normal closed m-filters in a monadic pseudo BCI-algebra. Moreover, we introduce a notion of strong residuated mappings and study the relation between monadic operators and strong residuated mappings in pseudo BCI-algebras. Let A be a pseudo BCI-algebra and \(f:A\rightarrow A\) be a mapping, we obtain that \((f, f^+)\) is a monadic operator on A if and only if f is a strong residuated mapping on A where \(f^+\) is the residual of f. Also we exhibit an axiom system of monadic pseudo BCI-logic, which enrich the language of pseudo BCI-logics. Based on the monadic pseudo BCI-algebras, we prove the completeness and soundness of the monadic pseudo BCI-logic propositional system. Finally, using provable formula set, normal subset and monadic subset in the set of all formulas of a monadic pseudo BCI-logic \(\mathcal {L}\), we characterize filters, normal filters and monadic normal filters in a monadic pseudo BCI-algebra, respectively.


pseudo BCI-algebra Monadic operator Monadic filter Residuated mapping pseudo BCI-logic 


Compliance with ethical standards

Conflict of interest

The authors declare that there is no conflict of interest.

Ethical approval

This article does not contain any studies with human participants or animals performed by any of the authors.

Informed consent

Informed consent was obtained from all individual participants included in the study.


  1. Blok WJ, Pigozzi D (1989) Algebraizable logics. Memoirs of the American Mathematical Society. American Mathematical Society, ProvidenceMATHGoogle Scholar
  2. Blyth TS (2005) Lattices and ordered algebraic structures. Springer, LondonMATHGoogle Scholar
  3. Curry HB, Feys R, Craig W (1958) Combinatory logic, vol 1. North Holland, AmsterdamMATHGoogle Scholar
  4. Dudek WA, Jun YB (2008) Pseudo BCI-algebras. East Asian Math J 24:187–190MATHGoogle Scholar
  5. Dvurečenskij A, Vetterlein T (2002) Algebras in the positive cone of po-groups. Order 19:127–146MathSciNetCrossRefMATHGoogle Scholar
  6. Dymek G (2014) On compatible deductive systems of pseudo-BCI-algebras. J Mult-Valued Log Soft Compt 22:167–187MathSciNetMATHGoogle Scholar
  7. Dymek G, Kozanecka-Dymek A (2013) Pseudo-BCI-logic. Bull Sect Log 42:33–41MathSciNetMATHGoogle Scholar
  8. Georgescu G, Iorgulescu A (2001) Pseudo-BCKalgebras: an extension of BCKalgebras. In: Proceedings of DMTCS01: combinatorics, computability and logic, Springer, London, pp 97–114Google Scholar
  9. Iorgulescu A (2008) Algebras of Logic as BCK-algebras. Academy of Economic Studies Bucharest, EdituraMATHGoogle Scholar
  10. Iséki K (1966) An algebra related with a propositional calculus. Proc Jpn Acad 42:26–29MathSciNetCrossRefMATHGoogle Scholar
  11. Iséki K (1980) On BCI-algebras. Math Sem Notes Kobe Univ 8(1):125–130MathSciNetMATHGoogle Scholar
  12. Kabziński JK (1983) BCI-algebras from the point of view of logic. Bull Sect Log Pol Acad Sci Inst Philos Soc 12:126–129MathSciNetMATHGoogle Scholar
  13. Meng J, Jun YB (1994) BCK-algebras. Kyungmoon Sa, SeoulMATHGoogle Scholar
  14. Meredith CA, Prior AN (1963) Notes on the axiomatics of the propositional calculus. Notre Dame J Formal Log 4:171C187MathSciNetCrossRefMATHGoogle Scholar
  15. Prior AN (1962) Formal logic, 2nd edn. Clarendon Press, OxfordMATHGoogle Scholar
  16. Xin XL, Li YJ (2017) States on pseudo-BCI algebras. Eur J Pure Appl Math 10(3):455–472MathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Xiaolong Xin
    • 1
  • Yulong Fu
    • 2
  • Yanyan Lai
    • 1
  • Juntao Wang
    • 1
  1. 1.School of MathematicsNorthwest UniversityXi’anChina
  2. 2.School of Cyber EngineeringXidian UniversityXi’anChina

Personalised recommendations