@article{MASLO_2004_54_2_a2,
author = {Vetterlein, Thomas},
title = {BL-algebras and quantum structures},
journal = {Mathematica slovaca},
pages = {127--141},
year = {2004},
volume = {54},
number = {2},
mrnumber = {2074210},
zbl = {1065.03049},
language = {en},
url = {http://geodesic.mathdoc.fr/item/MASLO_2004_54_2_a2/}
}
Vetterlein, Thomas. BL-algebras and quantum structures. Mathematica slovaca, Tome 54 (2004) no. 2, pp. 127-141. http://geodesic.mathdoc.fr/item/MASLO_2004_54_2_a2/
[CiOtMu] CIGNOLI R.-D'OTTAVIANO I. M. L.-MUNDICI D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer Acad. Publ., Dordrecht, 2000. | MR | Zbl
[DaGi] DALLA CHIARA M. L.-GIUNTINI R.: The logics of orthoalgebras. Studia Logica 55 (1995), 3-22. | MR | Zbl
[DvGr] DVUREČENSKIJ A.-GRAZIANO M. G.: On representations of commutative BCK-algebras. Demonstratio Math. 23 (1999), 227-246. | MR | Zbl
[DvPu] DVUREČENSKIJ A.-PULMANNOVÁ S.: New Trends in Quantum Structures. Kluwer Acad. Publ./Ister Science, Dordrecht/Bratislava, 2000. | MR | Zbl
[DvVe] DVUREČENSKIJ A.-VETTERLEIN T.: Pseudoeffect algebras I. Basic properties. Internat. J. Theoret. Phys. 40 (2001), 685-701. | MR | Zbl
[FoBe] FOULIS D. J.-BENNETT M. K.: Effect algebras and unsharp quantum logics. Found. Phys. 24 (1994), 1325-1346. | MR | Zbl
[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 | Zbl
[GuPu] GUDDER S.-PULMANNOVÁ S.: Quotients of partial abelian monoids. Algebra Universalis 38 (1997), 395-421. | MR | Zbl
[Haj1] HÁJEK P.: Metamathematics of Fuzzy Logic. Trends in Logic - Studia Logica Library 4, Kluwer Acad. Publ., Dordrecht, 1998. | MR | Zbl
[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 | Zbl
[lor] IORGULESCU A.: Iseki algebras. Connection with BL-algebras. Preprint. | Zbl
[Ise] ISEKI K.: BCK-algebras with condition (S). Math. Japon. 24 (1979), 107-119. | MR | Zbl
[KoCh] KOPKA F.-CHOVANEC F.: D-posets. Math. Slovaca 44 (1994), 21-34. | MR | Zbl
[Kuh] KÜHR J.: Pseudo BL-algebras and DRl-monoids. Math. Bohem. 128 (2003), 199-208. | MR
[MeJu] MENG J.-JUN Y. B.: BCK-Algebras. Kyung Moon Sa Co., Seoul, 1994. | MR | Zbl
[Mun] MUNDICI D.: MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math. Japon. 31 (1986), 889-894. | MR | Zbl
[Rav] RAVINDRAN K.: On a Structure Theory of Effect Algebras. Ph.D. Thesis, Kansas State University, Manhattan, 1996. | MR
[Swa] SWAMY K. L. N.: Lattice ordered semigroups. Math. Ann. 159 (1965), 105-114. | MR | Zbl
[Tur] TURUNEN E.: BL-algebras of basic fuzzy logic. Mathware Soft Comput. 6 (1999), 49-61. | MR | Zbl