Boolean part of BL-algebras
Bělohlávek, Radim
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 42 (2003), p. 7-11 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 2003-01-01
Classification:  03B50,  03B52,  03G25,  06D20,  06D35,  06E05 
@article{120458,
     author = {Radim B\v elohl\'avek},
     title = {Boolean part of BL-algebras},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     volume = {42},
     year = {2003},
     pages = {7-11},
     zbl = {1053.03042},
     mrnumber = {2056017},
     language = {en},
     url = {http://dml.mathdoc.fr/item/120458}
}

Bělohlávek, Radim. Boolean part of BL-algebras. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 42 (2003) pp. 7-11. http://gdmltest.u-ga.fr/item/120458/

Cignoli R.; Esteva F.; Godo L.; Torrens A. Basic fuzzy logic is the logic of continuous t-norms and their residua, Soft Computing 4 (2000), 106-112.

Dilworth R. P.; Ward M. Residuated lattices, Trans. Amer. Math. Soc. 45 (1939), 335-354. (1939) | MR 1501995 | Zbl 0021.10801

Glivenko V. Sur quelques points de la logique de M. Brouwer, Bull. Acad. des Sci. de Belgique 15 (1929), 183-188. (1929)

Gödel; K Zum intuitionistischen Aussagenkalkül, Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse 69 (1932), 65-66. (1932)

Hájek P.; Esteva F.; Godo L. A complete many-valued logic with product conjunction, Archive for Math. Logic 35 (1996), 191-208. (1996) | MR 1385789 | Zbl 0848.03005

Hájek P. Metamathematics of Fuzzy Logic, (series Trends in Logic, Studia Logica Library vol. 4). Kluwer, Dordrecht, 1998. (1998) | MR 1900263

Lukasiewicz J.; Tarski A. Untersuchungen über den Aussagenkalkül, Comptes Rendus de la Siciete et des Letters de Varsovie, cl. iii 23 (1930), 1-21. (1930)

Mostert P. S.; Shields A. L. On the structure of semigroups on a compact manifold with boundary, Ann. of Math. 65 (1957), 117-143. (1957) | MR 0084103

Turunen E.; Sessa S. Local BL-algebras, Preprint. | MR 1817445 | Zbl 1049.03045