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.
Similar content being viewed by others
References
Birkhoff G, Von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:823–834
Di Nola A, Georgescu G, Iorgulescu A (2002) Pseudo-BL algebras: Part I, Part II. Mult Val Logic 8:673–714, 717–750
Dvurecenskij A, Kim HS (1998) Connections between BCK-algebras and difference posets. Studia Logica 60:421–439
Dvurecenskij A, Vetterlein T (2002) Algebras in the positive cone of po-groups. Order 19:127–146
Dvurecenskij A, Vetterlein T (2001) Pseudoeffect algebras Basic properties I. Int J Theor Phys 40:685–701
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
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
Hajek P (2005) Fleas and fuzzy logic. J Mult Valued Logic Soft Comput 11:157–163
Imai Y, Iseki K (1996) On axiom systems of prepositional calculi XIV. Proc Japan Acad 42:26–29
Iorgulescu A (2003) Some direct ascendents of Wajsberg and MV algebras. Sci Math Japon 57:583–647
Iorgulescu A (2004) On pseudo-BCK algebras and porims. Sci Math Japon 10(16):293–305
Iorgulescu A (2005) Classes of Pseudo-BCK algebras–Part I, Part II. J Mult Valued Logic Soft Comput (in press)
Iorgulescu A (2005) Pseudo-Iseki algebras. Connection with pseudo-BL algebras. J Mult Valued Logic Soft Comput 11:263–308
Kopka F, Chovanec F (1994) D-posets. Math Slovaca 44:21–34
Ma Z, Wu J, Lu S (2004) Pseudo-effect algebras and pseudo-difference posets. Int J Theor Phys 43:1453–1460
Meng J, Jun YB (1994) BCK-algebras. Kyung Moon Sa Co., Seoul
Palasinski M (1981) Ideals in BCK-algebras which are lower lattices. Math Japon 26:245–250
Shang Y, Li Y, Chen M (2004) Pseudo difference posets and pseudo boolean D-posets. Int J Theor Phys 43:2447–2460
Author information
Authors and Affiliations
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-006-0055-9