A short introduction to formal fuzzy logic via t-norms
A VERY short introduction to formal fuzzy logic via t-norms. A short introduction to formal fuzzy logic via t-norms
muMV-algebras: an approach to fixed points in Lukasiewicz logic
We study an expansion of MV-algebras, called $\mu$MV-algebras, in which minimum and maximum fixed points are definable. The first result is that $\mu$MV-algebras are term-wise equivalent to divisible MV$_\Delta$ algebras, i.e. a combination of two known MV-algebras expansion: divisible MV-algebras…
Continuous approximations of MV-algebras with product and product residuation: a category-theoretic equivalence
A new class of $MV$-algebras with product, called L$\Pi_q$-algebras, has been introduced. In these algebras, the discontinuous product residuation $\to_\pi$ is replaced by a continuous approximation of it. These algebras seem to be a good compromise between the need ofexpressiveness…
Continuous approximations of MV-algebras with product and product residuation
Recently, MV-algebras with product have been investigated from different points of view. In particular a variety resulting from the combination of MV-algebras and product algebras has been introduced. The elements of this variety are called L$\Pi$-algebras. Even though the language…
μMV algebras an approach to fixed points in Lukasiewiczlogic
A presentation about adding fixed points operators in the language of MV-algebras given at the conference The Logic of Soft Computing in Malaga, $13^{th}−15^{th}$ September 2006. μMV algebras an approach to fixed points in Lukasiewicz logic