论文信息 - Modal operators on bounded commutative residuated ℓ-monoids

Modal operators on bounded commutative residuated ℓ-monoids

Bounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., Heyting algebras and BL-algebras, i.e., algebras of intuitionistic logic and basic fuzzy logic, respectively. Modal operators (special cases of closure operators) on Heyting algebras were studied in [MacNAB, D. S.: Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5–29] and on MV-algebras in [HARLENDEROVÁ,M.—RACHŮNEK, J.: Modal operators on MV-algebras, Math. Bohem. 131 (2006), 39–48]. In the paper we generalize the notion of a modal operator for general bounded commutative Rℓ-monoids and investigate their properties also for certain derived algebras.

Jiří Rachůnek | Dana Šalounová | J. Rachunek | D. Salounová

[1] Jan Kühr,et al. Representable dually residuated lattice-ordered monoids , 2003 .

[2] C. Tsinakis,et al. Generalized MV-algebras , 2005 .

[3] C. Tsinakis,et al. A Survey of Residuated Lattices , 2002 .

[4] Constantine Tsinakis,et al. The Structure of Residuated Lattices , 2003, Int. J. Algebra Comput..

[5] K. Swamy,et al. Dually residuated lattice ordered semigroups , 1965 .

[6] Anatolij Dvurecenskij,et al. Probabilistic averaging in bounded commutative residuated l-monoids , 2006, Discret. Math..

[7] Jiří Rachůnek,et al. Negation in bounded commutative DRℓ-monoids , 2006 .

[8] Jiří Rachůnek,et al. Local bounded commutative residuated ℓ-monoids , 2007 .

[9] D. Macnab. Modal operators on Heyting algebras , 1981 .

[10] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[11] Jiří Rachůnek. A duality between algebras of basic logic and bounded representable $DRl$-monoids , 2001 .

[12] Jiří Rachůnek,et al. DRl-semigroups and MV-algebras , 1998 .