×

Pseudo-BCK algebras and PD-posets. (English) Zbl 1112.06020

Various properties of ideals and congruences are described. Connections between pseudo-BCK algebras and some partially ordered sets are studied.

MSC:

06F35 BCK-algebras, BCI-algebras
06A06 Partial orders, general
06B10 Lattice ideals, congruence relations

Citations:

Zbl 0986.06018
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Birkhoff G, Von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:823–834 · JFM 62.1061.04 · doi:10.2307/1968621
[2] Di Nola A, Georgescu G, Iorgulescu A (2002) Pseudo-BL algebras: Part I, Part II. Mult Val Logic 8:673–714, 717–750 · Zbl 1028.06007
[3] Dvurecenskij A, Kim HS (1998) Connections between BCK-algebras and difference posets. Studia Logica 60:421–439 · Zbl 0960.03051 · doi:10.1023/A:1005089629837
[4] Dvurecenskij A, Vetterlein T (2002) Algebras in the positive cone of po-groups. Order 19:127–146 · Zbl 1012.03064 · doi:10.1023/A:1016551707476
[5] Dvurecenskij A, Vetterlein T (2001) Pseudoeffect algebras Basic properties I. Int J Theor Phys 40:685–701 · Zbl 0994.81008 · doi:10.1023/A:1004192715509
[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 · Zbl 0986.06018
[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
[9] Imai Y, Iseki K (1996) On axiom systems of prepositional calculi XIV. Proc Japan Acad 42:26–29
[10] Iorgulescu A (2003) Some direct ascendents of Wajsberg and MV algebras. Sci Math Japon 57:583–647 · Zbl 1050.06006
[11] Iorgulescu A (2004) On pseudo-BCK algebras and porims. Sci Math Japon 10(16):293–305 · Zbl 1066.06018
[12] Iorgulescu A (2005) Classes of Pseudo-BCK algebras–Part I, Part II. J Mult Valued Logic Soft Comput (in press) · Zbl 1079.06017
[13] Iorgulescu A (2005) Pseudo-Iseki algebras. Connection with pseudo-BL algebras. J Mult Valued Logic Soft Comput 11:263–308 · Zbl 1079.06017
[14] Kopka F, Chovanec F (1994) D-posets. Math Slovaca 44:21–34 · Zbl 0789.03048
[15] Ma Z, Wu J, Lu S (2004) Pseudo-effect algebras and pseudo-difference posets. Int J Theor Phys 43:1453–1460 · Zbl 1073.81011 · doi:10.1023/B:IJTP.0000048629.84794.22
[16] Meng J, Jun YB (1994) BCK-algebras. Kyung Moon Sa Co., Seoul · Zbl 0906.06015
[17] Palasinski M (1981) Ideals in BCK-algebras which are lower lattices. Math Japon 26:245–250 · Zbl 0464.03055
[18] Shang Y, Li Y, Chen M (2004) Pseudo difference posets and pseudo boolean D-posets. Int J Theor Phys 43:2447–2460 · Zbl 1059.81018 · doi:10.1007/s10773-004-7710-7
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.