Boolean part of BL-algebras
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica (2003)
- Volume: 42, Issue: 1, page 7-11
- ISSN: 0231-9721
Access Full Article
top
How to cite
topBělohlávek, Radim. "Boolean part of BL-algebras." Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 42.1 (2003): 7-11. <http://eudml.org/doc/23737>.
@article{Bělohlávek2003,
author = {Bělohlávek, Radim},
journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
keywords = {Glivenko theorem; basic algebra; MV-algebra; -algebra},
language = {eng},
number = {1},
pages = {7-11},
publisher = {Palacký University Olomouc},
title = {Boolean part of BL-algebras},
url = {http://eudml.org/doc/23737},
volume = {42},
year = {2003},
}
TY - JOUR
AU - Bělohlávek, Radim
TI - Boolean part of BL-algebras
JO - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY - 2003
PB - Palacký University Olomouc
VL - 42
IS - 1
SP - 7
EP - 11
LA - eng
KW - Glivenko theorem; basic algebra; MV-algebra; -algebra
UR - http://eudml.org/doc/23737
ER -
References
top- 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) Zbl0021.10801MR1501995
- 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) Zbl0848.03005MR1385789
- Hájek P., Metamathematics of Fuzzy Logic, (series Trends in Logic, Studia Logica Library vol. 4). Kluwer, Dordrecht, 1998. (1998) MR1900263
- 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) MR0084103
- Turunen E., Sessa S., Local BL-algebras, Preprint. Zbl1049.03045MR1817445
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.