COMPOSITION ON MV-ALGEBRAS

被引:1
|
作者
Di Nola, A. [1 ]
Flondor, P. [2 ]
Gerla, B. [1 ]
机构
[1] Univ Salerno, Dept Math & Comp Sci, I-84084 Fisciano, SA, Italy
[2] Politechn Univ, Dept Comp Sci, Bucharest, Romania
关键词
MV-algebras; composition of functions; MV-modules;
D O I
10.1142/S0219498806001818
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
In this paper we introduce an extension of MV-algebras obtained by adding a binary operation and a constant, with the aim of modelling composition of functions. The variety of Composition MV-algebra (CMV-algebra, for short) is defined and some results regarding ideals and congruences are stated. Further, we define modules over CMValgebras showing that to any substitution corresponds an endomorphism of modules.
引用
收藏
页码:417 / 439
页数:23
相关论文
共 50 条
  • [41] Symmetric MV-algebras
    Belluce, L. P.
    Di Nola, Antonio
    Lettieri, Ada
    ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS: PAPERS IN HONOR OF DANIELE MUNDICI ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4460 : 30 - +
  • [42] ON EPICOMPLETE MV-ALGEBRAS
    Dvurecenskij, Anatolij
    Zahiri, Omid
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (01): : 165 - 183
  • [43] MV-observables and MV-algebras
    Dvurecenskij, A
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2001, 259 (02) : 413 - 428
  • [44] Local algebras in the representation of MV-algebras
    Di Nola, A.
    Esposito, I.
    Gerla, B.
    ALGEBRA UNIVERSALIS, 2007, 56 (02) : 133 - 164
  • [45] Local algebras in the representation of MV-algebras
    A. Di Nola
    I. Esposito
    B. Gerla
    Algebra universalis, 2007, 56 : 133 - 164
  • [46] Independent axiomatization of MV-algebras
    Cattaneo, G
    Lombardo, F
    TATRA MOUNTAINS MATHEMATICAL PUBLICATIONS, VOL 15, 1998: QUANTUM STRUCTURES II, 1998, : 227 - 232
  • [47] Tensor products of MV-algebras
    P. Flondor
    I. Leustean
    Soft Computing, 2003, 7 : 446 - 457
  • [48] On intervals and isometries of MV-algebras
    Ján Jakubík
    Czechoslovak Mathematical Journal, 2002, 52 : 651 - 663
  • [49] MODAL OPERATORS ON MV-ALGEBRAS
    Harlenderova, Magdalena
    Rachunek, Jiri
    MATHEMATICA BOHEMICA, 2006, 131 (01): : 39 - 48
  • [50] The logic of perfect MV-algebras
    Belluce, L. P.
    Di Nola, A.
    Gerla, B.
    NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL II, PROCEEDINGS, 2007, : 195 - +