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.