A duality between algebras of basic logic and bounded representable D R l -monoids

Jiří Rachůnek

Mathematica Bohemica (2001)

  • Volume: 126, Issue: 3, page 561-569
  • ISSN: 0862-7959

Abstract

top
B L -algebras, introduced by P. Hájek, form an algebraic counterpart of the basic fuzzy logic. In the paper it is shown that B L -algebras are the duals of bounded representable D R l -monoids. This duality enables us to describe some structure properties of B L -algebras.

How to cite

top

Rachůnek, Jiří. "A duality between algebras of basic logic and bounded representable $DRl$-monoids." Mathematica Bohemica 126.3 (2001): 561-569. <http://eudml.org/doc/248688>.

@article{Rachůnek2001,
abstract = {$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.},
author = {Rachůnek, Jiří},
journal = {Mathematica Bohemica},
keywords = {$BL$-algebra; $MV$-algebra; bounded $DRl$-monoid; representable $DRl$-monoid; prime spectrum; basic fuzzy logic; BL-algebra; MV-algebra; bounded -monoid; representable -monoid; prime spectrum; basic fuzzy logic},
language = {eng},
number = {3},
pages = {561-569},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {A duality between algebras of basic logic and bounded representable $DRl$-monoids},
url = {http://eudml.org/doc/248688},
volume = {126},
year = {2001},
}

TY - JOUR
AU - Rachůnek, Jiří
TI - A duality between algebras of basic logic and bounded representable $DRl$-monoids
JO - Mathematica Bohemica
PY - 2001
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 126
IS - 3
SP - 561
EP - 569
AB - $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.
LA - eng
KW - $BL$-algebra; $MV$-algebra; bounded $DRl$-monoid; representable $DRl$-monoid; prime spectrum; basic fuzzy logic; BL-algebra; MV-algebra; bounded -monoid; representable -monoid; prime spectrum; basic fuzzy logic
UR - http://eudml.org/doc/248688
ER -

References

top
  1. A Course in Universal Algebra, Springer, Berlin, 1977. (1977) MR0648287
  2. 10.1090/S0002-9947-1958-0094302-9, Trans. Amer. Math. Soc. 88 (1958), 456–490. (1958) Zbl0084.00704MR0094302DOI10.1090/S0002-9947-1958-0094302-9
  3. A new proof of the completeness of the Łukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959), 74–80. (1959) Zbl0093.01104MR0122718
  4. 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. (1999) 
  5. 10.1006/jabr.1996.0278, J. Algebra 184 (1996), 604–614. (1996) MR1409232DOI10.1006/jabr.1996.0278
  6. Basic fuzzy logic and B L -algebras, Inst. Comput. Sciences Acad. Sci. Czech Rep., Techn. Report V736 (1997). (1997) 
  7. Metamathematics of Fuzzy Logic, Kluwer, Amsterdam, 1998. (1998) MR1900263
  8. 10.1016/0022-1236(86)90015-7, J. Funct. Anal. 65 (1986), 15–63. (1986) Zbl0597.46059MR0819173DOI10.1016/0022-1236(86)90015-7
  9. M V -algebras are categorically equivalent to bounded commutative B C K -algebras, Math. Japonica 31 (1986), 889–894. (1986) Zbl0633.03066MR0870978
  10. A general theory of dually residuated lattice ordered monoids, Thesis, Palacký Univ., 1996. (1996) 
  11. Prime ideals in autometrized algebras, Czechoslovak Math. J. 37 (1987), 65–69. (1987) MR0875128
  12. 10.1023/A:1022801907138, Czechoslovak Math. J. 48 (1998), 365–372. (1998) DOI10.1023/A:1022801907138
  13. Spectra of autometrized lattice algebras, Math. Bohem. 123 (1998), 87–94. (1998) MR1618727
  14. M V -algebras are categorically equivalent to a class of D R l 1 ( i ) -semigroups, Math. Bohem. 123 (1998), 437–441. (1998) MR1667115
  15. Ordered prime spectra of bounded D R l -monoids, Math. Bohem (to appear). (to appear) MR1802299
  16. 10.1007/BF01360284, Math. Ann. 159 (1965), 105–114. (1965) Zbl0138.02104MR0183797DOI10.1007/BF01360284
  17. 10.1007/BF01364335, Math. Ann. 160 (1965), 64–71. (1965) Zbl0138.02104MR0191851DOI10.1007/BF01364335
  18. 10.1007/BF01361218, Math. Ann. 167 (1966), 71–74. (1966) Zbl0158.02601MR0200364DOI10.1007/BF01361218
  19. 10.1017/S1446788700020383, J. Austral. Math. Soc. 24 (1977), 362–374. (1977) MR0469843DOI10.1017/S1446788700020383
  20. Isometries in dually residuated lattice ordered semigroups, Math. Sem. Notes 8 (1980), 369–380. (1980) MR0601906
  21. Boolean deductive systems of B L -algebras, Research Report 61, Lappeenranta Univ. of Technology, Dept. Inf. Techn., 1998. (1998) 

Citations in EuDML Documents

top
  1. Jan Kühr, Pseudo B L -algebras and D R ℓ -monoids
  2. Jiří Rachůnek, Vladimír Slezák, Negation in bounded commutative D R ℓ -monoids
  3. Jan Kühr, Spectral topologies of dually residuated lattice-ordered monoids
  4. Jiří Rachůnek, Dana Šalounová, Local bounded commutative residuated ℓ -monoids
  5. Jiří Rachůnek, Dana Šalounová, Classes of fuzzy filters of residuated lattice ordered monoids
  6. Jiří Rachůnek, Dana Šalounová, Lexicographic extensions of dually residuated lattice ordered monoids
  7. Jiří Rachůnek, Filip Švrček, Interior and closure operators on bounded commutative residuated l-monoids
  8. Jan Kühr, Representable dually residuated lattice-ordered monoids
  9. Filip Švrček, Interior and closure operators on bounded residuated lattice ordered monoids
  10. Jan Kühr, Finite-valued dually residuated lattice-ordered monoids

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.