About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Bělohlávek, Radim
Boolean part of BL-algebras. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 42 (2003), issue 1, pp. 7-11
MSC: 03B50, 03B52, 03G25, 06D20, 06D35, 06E05 | MR 2056017 | Zbl 1053.03042
References:
[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 1501995 | Zbl 0021.10801
[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 1385789 | Zbl 0848.03005
[6] Hájek P.: Metamathematics of Fuzzy Logic. (series Trends in Logic, Studia Logica Library vol. 4). Kluwer, Dordrecht, 1998. MR 1900263
[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 0084103
[9] Turunen E., Sessa S.: Local BL-algebras. Preprint. MR 1817445 | Zbl 1049.03045
Partner of
EuDML logo