Geodesic
Boolean part of BL-algebras
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 42 (2003) no. 1, pp. 7-11 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B50, 03B52, 03G25, 06D20, 06D35, 06E05 
@article{AUPO_2003_42_1_a0,
     author = {B\v{e}lohl\'avek, Radim},
     title = {Boolean part of {BL-algebras}},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {7--11},
     year = {2003},
     volume = {42},
     number = {1},
     mrnumber = {2056017},
     zbl = {1053.03042},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_2003_42_1_a0/}
}
TY  - JOUR
AU  - Bělohlávek, Radim
TI  - Boolean part of BL-algebras
JO  - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY  - 2003
SP  - 7
EP  - 11
VL  - 42
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/AUPO_2003_42_1_a0/
LA  - en
ID  - AUPO_2003_42_1_a0
ER  - 
%0 Journal Article
%A Bělohlávek, Radim
%T Boolean part of BL-algebras
%J Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
%D 2003
%P 7-11
%V 42
%N 1
%U http://geodesic.mathdoc.fr/item/AUPO_2003_42_1_a0/
%G en
%F AUPO_2003_42_1_a0
Bělohlávek, Radim. Boolean part of BL-algebras. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 42 (2003) no. 1, pp. 7-11. http://geodesic.mathdoc.fr/item/AUPO_2003_42_1_a0/

[1] 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.

[2] Dilworth R. P., Ward M.: Residuated lattices. Trans. Amer. Math. Soc. 45 (1939), 335-354. | MR | Zbl

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

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

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

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

[7] 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.

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

[9] Turunen E., Sessa S.: Local BL-algebras. Preprint. | MR | Zbl