Geodesic
A duality between algebras of basic logic and bounded representable $DRl$-monoids
Mathematica Bohemica, Tome 126 (2001) no. 3, pp. 561-569

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
$BL$-algebras, introduced by P. Hájek, form an algebraic counterpart of the basic fuzzy logic. In the paper it is shown that $BL$-algebras are the duals of bounded representable $DRl$-monoids. This duality enables us to describe some structure properties of $BL$-algebras.
$BL$-algebras, introduced by P. Hájek, form an algebraic counterpart of the basic fuzzy logic. In the paper it is shown that $BL$-algebras are the duals of bounded representable $DRl$-monoids. This duality enables us to describe some structure properties of $BL$-algebras.
DOI : 10.21136/MB.2001.134199
Classification : 03B52, 03G20, 03G25, 06F05
Keywords: $BL$-algebra; $MV$-algebra; bounded $DRl$-monoid; representable $DRl$-monoid; prime spectrum; basic fuzzy logic 
Rachůnek, Jiří. A duality between algebras of basic logic and bounded representable $DRl$-monoids. Mathematica Bohemica, Tome 126 (2001) no. 3, pp. 561-569. doi: 10.21136/MB.2001.134199
@article{10_21136_MB_2001_134199,
     author = {Rach\r{u}nek, Ji\v{r}{\'\i}},
     title = {A duality between algebras of basic logic and bounded representable $DRl$-monoids},
     journal = {Mathematica Bohemica},
     pages = {561--569},
     year = {2001},
     volume = {126},
     number = {3},
     doi = {10.21136/MB.2001.134199},
     mrnumber = {1970259},
     zbl = {0979.03049},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2001.134199/}
}
TY  - JOUR
AU  - Rachůnek, Jiří
TI  - A duality between algebras of basic logic and bounded representable $DRl$-monoids
JO  - Mathematica Bohemica
PY  - 2001
SP  - 561
EP  - 569
VL  - 126
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2001.134199/
DO  - 10.21136/MB.2001.134199
LA  - en
ID  - 10_21136_MB_2001_134199
ER  - 
%0 Journal Article
%A Rachůnek, Jiří
%T A duality between algebras of basic logic and bounded representable $DRl$-monoids
%J Mathematica Bohemica
%D 2001
%P 561-569
%V 126
%N 3
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2001.134199/
%R 10.21136/MB.2001.134199
%G en
%F 10_21136_MB_2001_134199

[1] Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra. Springer, Berlin, 1977. | MR

[2] Chang, C. C.: Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88 (1958), 456–490. | DOI | MR | Zbl

[3] Chang, C. C.: A new proof of the completeness of the Łukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74–80. | MR | Zbl

[4] Cignoli, R.: Lattice-ordered abelian groups and completeness of Łukasiewicz and product $t$-norm. Sémin. Structures Alg. Ord., Univ. Paris VII, No. 68, 1999, pp. 14.

[5] Cignoli, R., Torrens, A.: The poset of prime $l$-ideals of an abelian $l$-group with a strong unit. J. Algebra 184 (1996), 604–614. | DOI | MR

[6] Hájek, P.: Basic fuzzy logic and $BL$-algebras. Inst. Comput. Sciences Acad. Sci. Czech Rep., Techn. Report V736 (1997).

[7] Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Amsterdam, 1998. | MR

[8] Mundici, D.: Interpretation of AF $C^{*}$-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65 (1986), 15–63. | DOI | MR | Zbl

[9] Mundici, D.: $MV$-algebras are categorically equivalent to bounded commutative $BCK$-algebras. Math. Japonica 31 (1986), 889–894. | MR | Zbl

[10] Kovář, T.: A general theory of dually residuated lattice ordered monoids. Thesis, Palacký Univ., 1996.

[11] Rachůnek, J.: Prime ideals in autometrized algebras. Czechoslovak Math. J. 37 (1987), 65–69. | MR

[12] Rachůnek, J.: $DRl$-semigroups and $MV$-algebras. Czechoslovak Math. J. 48 (1998), 365–372. | DOI

[13] Rachůnek, J.: Spectra of autometrized lattice algebras. Math. Bohem. 123 (1998), 87–94. | MR

[14] Rachůnek, J.: $MV$-algebras are categorically equivalent to a class of $DRl_{1(i)}$-semigroups. Math. Bohem. 123 (1998), 437–441. | MR

[15] Rachůnek, J.: Ordered prime spectra of bounded $DRl$-monoids. Math. Bohem (to appear). | MR

[16] Swamy, K. L. N.: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105–114. | DOI | MR | Zbl

[17] Swamy, K. L. N.: Dually residuated lattice ordered semigroups II. Math. Ann. 160 (1965), 64–71. | DOI | MR | Zbl

[18] Swamy, K. L. N.: Dually residuated lattice ordered semigroups III. Math. Ann. 167 (1966), 71–74. | DOI | MR | Zbl

[19] Swamy, K. L. N., Rao, N. P.: Ideals in autometrized algebras. J. Austral. Math. Soc. 24 (1977), 362–374. | DOI | MR

[20] Swamy, K. L. N., Subba Rao, B. V.: Isometries in dually residuated lattice ordered semigroups. Math. Sem. Notes 8 (1980), 369–380. | MR

[21] Turunen, E.: Boolean deductive systems of $BL$-algebras. Research Report 61, Lappeenranta Univ. of Technology, Dept. Inf. Techn., 1998.

Cité par Sources :