Skip to main content
Springer Nature Link
Log in

Pseudo-BCK algebras and PD-posets

  • Original Paper
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

The notion of pseudo-BCK algebras was introduced by Georgescu and Iorgulescu Proceedings of DMTCS′01: Combinatorics, Computability and Logic, Springer, London, pp 97–114, 2001. It is so general that fleas, pseudo-hoops, psMTL, psBL, pseudo-MV et al., and so hoops, MTL, BL, MV et al. can be seen its extensions. In this paper, we extend the ideal and congruence theory to pseudo-BCK algebras, and investigate the connections between pseudo-BCK algebras and PD(GPD)-posets.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Birkhoff G, Von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:823–834

    Article  MathSciNet  Google Scholar 

  2. Di Nola A, Georgescu G, Iorgulescu A (2002) Pseudo-BL algebras: Part I, Part II. Mult Val Logic 8:673–714, 717–750

    Google Scholar 

  3. Dvurecenskij A, Kim HS (1998) Connections between BCK-algebras and difference posets. Studia Logica 60:421–439

    Article  MATH  MathSciNet  Google Scholar 

  4. Dvurecenskij A, Vetterlein T (2002) Algebras in the positive cone of po-groups. Order 19:127–146

    Article  MATH  MathSciNet  Google Scholar 

  5. Dvurecenskij A, Vetterlein T (2001) Pseudoeffect algebras Basic properties I. Int J Theor Phys 40:685–701

    Article  MATH  MathSciNet  Google Scholar 

  6. Georgescu G, Iorgulescu A (2001) Pseudo-BCK algebras: an extension of BCK algebras. In: Proceedings of DMTCS′01: combinatorics, computability and logic. Springer, London, pp 97–114

  7. Georgescu G, Iorgulescu A (2000) Pseudo-BL algebras: a noncommutative extension of BL algebras. In: Abstracts of the fifth international conference FSTA 2000. Slovakia, pp 90–92

  8. Hajek P (2005) Fleas and fuzzy logic. J Mult Valued Logic Soft Comput 11:157–163

    MathSciNet  Google Scholar 

  9. Imai Y, Iseki K (1996) On axiom systems of prepositional calculi XIV. Proc Japan Acad 42:26–29

    Google Scholar 

  10. Iorgulescu A (2003) Some direct ascendents of Wajsberg and MV algebras. Sci Math Japon 57:583–647

    MATH  MathSciNet  Google Scholar 

  11. Iorgulescu A (2004) On pseudo-BCK algebras and porims. Sci Math Japon 10(16):293–305

    MathSciNet  Google Scholar 

  12. Iorgulescu A (2005) Classes of Pseudo-BCK algebras–Part I, Part II. J Mult Valued Logic Soft Comput (in press)

  13. Iorgulescu A (2005) Pseudo-Iseki algebras. Connection with pseudo-BL algebras. J Mult Valued Logic Soft Comput 11:263–308

    MathSciNet  MATH  Google Scholar 

  14. Kopka F, Chovanec F (1994) D-posets. Math Slovaca 44:21–34

    MATH  MathSciNet  Google Scholar 

  15. Ma Z, Wu J, Lu S (2004) Pseudo-effect algebras and pseudo-difference posets. Int J Theor Phys 43:1453–1460

    Article  MATH  MathSciNet  Google Scholar 

  16. Meng J, Jun YB (1994) BCK-algebras. Kyung Moon Sa Co., Seoul

    MATH  Google Scholar 

  17. Palasinski M (1981) Ideals in BCK-algebras which are lower lattices. Math Japon 26:245–250

    MATH  MathSciNet  Google Scholar 

  18. Shang Y, Li Y, Chen M (2004) Pseudo difference posets and pseudo boolean D-posets. Int J Theor Phys 43:2447–2460

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Nanping Teachers College, Wuyishan, Fujian, 354300, People’s Republic of China

    Yong Lin Liu

  2. Department of Mathematics, Xidian University, Xi’an, Shaanxi, 710071, People’s Republic of China

    Yong Lin Liu & San Yang Liu

  3. Department of Mathematics, Southwest Jiaotong University, Chengdu, 610031, Sichuan, People Republic of China

    Yang Xu

Authors
  1. Yong Lin Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. San Yang Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yang Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yong Lin Liu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Liu, Y.L., Liu, S.Y. & Xu, Y. Pseudo-BCK algebras and PD-posets. Soft Comput 11, 91–101 (2007). https://doi.org/10.1007/s00500-006-0055-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-006-0055-9

Keywords