[CiOtMu] CIGNOLI R.-D'OTTAVIANO I. M. L.-MUNDICI D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer Acad. Publ., Dordrecht, 2000. MR 1786097 | Zbl 0937.06009

[DaGi] DALLA CHIARA M. L.-GIUNTINI R.: The logics of orthoalgebras. Studia Logica 55 (1995), 3-22. MR 1348834 | Zbl 0836.03035

[DvGr] DVUREČENSKIJ A.-GRAZIANO M. G.: On representations of commutative BCK-algebras. Demonstratio Math. 23 (1999), 227-246. MR 1710247 | Zbl 0942.06009

[DvPu] DVUREČENSKIJ A.-PULMANNOVÁ S.: New Trends in Quantum Structures. Kluwer Acad. Publ./Ister Science, Dordrecht/Bratislava, 2000. MR 1861369 | Zbl 0987.81005

[DvVe] DVUREČENSKIJ A.-VETTERLEIN T.: Pseudoeffect algebras I. Basic properties. Internat. J. Theoret. Phys. 40 (2001), 685-701. MR 1831592 | Zbl 0994.81008

[FoBe] FOULIS D. J.-BENNETT M. K.: Effect algebras and unsharp quantum logics. Found. Phys. 24 (1994), 1325-1346. MR 1304942 | Zbl 1213.06004

[God] GÖDEL K.: Zum intuitionistischen Aussagenkalkul. Anzeiger Wien 69 (1932), 65-66.

[Got] GOTTWALD S.: A Treatise on Many-Valued Logics. Research Studies Press, Baldock, 2001. MR 1856623 | Zbl 1048.03002

[GuPu] GUDDER S.-PULMANNOVÁ S.: Quotients of partial abelian monoids. Algebra Universalis 38 (1997), 395-421. MR 1626347 | Zbl 0933.03082

[Haj1] HÁJEK P.: Metamathematics of Fuzzy Logic. Trends in Logic - Studia Logica Library 4, Kluwer Acad. Publ., Dordrecht, 1998. MR 1900263 | Zbl 0937.03030

[Haj2] HÁJEK P.: Basic fuzzy logic and BL-algebras. Soft Comput. 2 (1998), 124-128.

[Hoh] HÖHLE U.: Commutative, residuated l-monoids. In: Non-classical Logics and Their Applications to Fuzzy Subsets. A Handbook of the Mathematical Foundations of Fuzzy Set Theory (U. Hohle et al., eds.), Kluwer Acad. Publ., Dordrecht, 1995, pp. 53-106. MR 1345641 | Zbl 0838.06012

[lor] IORGULESCU A.: Iseki algebras. Connection with BL-algebras. Preprint. Zbl 1075.06009

[Ise] ISEKI K.: BCK-algebras with condition (S). Math. Japon. 24 (1979), 107-119. MR 0539396 | Zbl 0438.03059

[KoCh] KOPKA F.-CHOVANEC F.: D-posets. Math. Slovaca 44 (1994), 21-34. MR 1290269 | Zbl 0789.03048

[Kuh] KÜHR J.: Pseudo BL-algebras and DRl-monoids. Math. Bohem. 128 (2003), 199-208. MR 1995573

[MeJu] MENG J.-JUN Y. B.: BCK-Algebras. Kyung Moon Sa Co., Seoul, 1994. MR 1297121 | Zbl 0906.06015

[Mun] MUNDICI D.: MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math. Japon. 31 (1986), 889-894. MR 0870978 | Zbl 0633.03066

[Rav] RAVINDRAN K.: On a Structure Theory of Effect Algebras. Ph.D. Thesis, Kansas State University, Manhattan, 1996. MR 2694228

[Swa] SWAMY K. L. N.: Lattice ordered semigroups. Math. Ann. 159 (1965), 105-114. MR 0183797 | Zbl 0138.02104

[Tur] TURUNEN E.: BL-algebras of basic fuzzy logic. Mathware Soft Comput. 6 (1999), 49-61. MR 1724318 | Zbl 0962.03020