| Title:
|
Boolean part of BL-algebras (English) |
| Author:
|
Bělohlávek, Radim |
| Language:
|
English |
| Journal:
|
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica |
| ISSN:
|
0231-9721 |
| Volume:
|
42 |
| Issue:
|
1 |
| Year:
|
2003 |
| Pages:
|
7-11 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B50 |
| MSC:
|
03B52 |
| MSC:
|
03G25 |
| MSC:
|
06D20 |
| MSC:
|
06D35 |
| MSC:
|
06E05 |
| idZBL:
|
Zbl 1053.03042 |
| idMR:
|
MR2056017 |
| . |
| Date available:
|
2009-01-29T16:02:57Z |
| Last updated:
|
2012-05-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/120458 |
| . |
| Reference:
|
[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. |
| Reference:
|
[2] Dilworth R. P., Ward M.: Residuated lattices.Trans. Amer. Math. Soc. 45 (1939), 335-354. Zbl 0021.10801, MR 1501995 |
| Reference:
|
[3] Glivenko V.: Sur quelques points de la logique de M. Brouwer.Bull. Acad. des Sci. de Belgique 15 (1929), 183-188. |
| Reference:
|
[4] Gödel, K: Zum intuitionistischen Aussagenkalkül.Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse 69 (1932), 65-66. |
| Reference:
|
[5] Hájek P., Esteva F., Godo L.: A complete many-valued logic with product conjunction.Archive for Math. Logic 35 (1996), 191-208. Zbl 0848.03005, MR 1385789 |
| Reference:
|
[6] Hájek P.: Metamathematics of Fuzzy Logic.(series Trends in Logic, Studia Logica Library vol. 4). Kluwer, Dordrecht, 1998. MR 1900263 |
| Reference:
|
[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. |
| Reference:
|
[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 0084103 |
| Reference:
|
[9] Turunen E., Sessa S.: Local BL-algebras.Preprint. Zbl 1049.03045, MR 1817445 |
| . |
