in this paper, the main results are:a study of the finitely generated mv-algebras of continuous functions from the n-th power of the unit real interval i to i;a study of hopfian mv-algebras; anda category-theoretic study of the map sending an mv-algebra as above to the range of its generators (up to a suitable form of homeomorphism).

we state several conditions under which comultiplication and weak comultiplication modulesare cyclic and study strong comultiplication modules and comultiplication rings. in particular,we will show that every faithful weak comultiplication module having a maximal submoduleover a reduced ring with a finite indecomposable decomposition is cyclic. also we show that if m is an strong comultiplicati...

In this document we consider the prime spectrum of an MV-algebra with certain natural operations. These are used to show connections between the classes of prime lattice filters and prime implication filters.

in this paper, we show that every element of a discrete module is a sum of two units if and only if its endomorphism ring has no factor ring isomorphic to $z_{2}$. we also characterize unit sum number equal to two for the endomorphism ring of quasi-discrete modules with finite exchange property.

in this paper we introduce the concept of dirac structures on (hermitian) modules and vectorbundles and deduce some of their properties. among other things we prove that there is a one to onecorrespondence between the set of all dirac structures on a (hermitian) module and the group of allautomorphisms of the module. this correspondence enables us to represent dirac structures on (hermitian)mod...

Let  be a commutative ring and  be a unitary  module. We define a semi prime sub module of a module and consider various properties of it. Also we define semi-radical of a sub module of a module and give a number of its properties. We define modules which satisfy the semi-radical formula and present the existence of such a module.

In the present paper we define the (pseudo) MV-algebras with n-ary operators, generalizing MV-modules and product MV-algebras. Our main results assert that there are bijective correspondences between the operators defined on a pseudo MV-algebra and the operators defined on the corresponding `-group. We also provide a categorical framework and we prove the analogue of Mundici’s categorical equiv...

Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...