We study an extension of MV algebras, called μMV algebras, in which minimal and maximal fixed points are definable. The first result is that μMV algebras are term-wise equivalent to divisible MV∆algebras, i.e. a combination of two known extensions of MV algebras: divisible MV algebras [4] and MV∆algebras [6]. Using methods from the two known extensions we derive a number of results about μMV al...

The development of machine learning in particular and artificial intelligent in general has been strongly conditioned by the lack of an appropriate interface layer between deduction, abduction and induction [1]. In this work we extend traditional algebraic specification methods [2] in this direction. Here we assume that such interface for AI emerges from an adequate Neural-Symbolic integration ...

The paper deals with Lukasiewicz filters. It analyzes some of their possible constructions and their basic properties. The Cartesian product of Lukasiewicz filters is introduced.

We introduce probabilistic many-valued logic programs in which the implication connective is interpreted as material implication. We show that probabilistic many-valued logic programming is computationally more complex than classical logic programming. More precisely, some deduction problems that are P-complete for classical logic programs are shown to be co-NP-complete for probabilistic many-v...

In this paper we give a characterization of all the interpretations of the varieties of bounded distributive lattices, De Morgan algebras and Lukasiewicz algebras of order m in the variety of Lukasiewicz algebras of order n. In the case of distributive lattices we give a structure theorem that is generalized to De Morgan algebras and to Lukasiewicz algebras of order m. In the last two cases we ...

Possibility and necessity measures are commonly defined over Boolean algebras. This work consider a generalization of these kinds of measures over MV-algebras as a possibilistic counterpart of the (probabilistic) notion of state on MV-algebras. Two classes of possibilistic states over MV-algebras of functions are characterized in terms of (generalized) Sugeno integrals. For reasoning about thes...