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 of L$\Pi$-algebras is strong enough to describe the main properties of product and of Lukasiewicz connectives on [0,1], the discontinuity of product implication introduces some problems in the applications, because a small error in the data may cause a relevant error in the output. In this paper we try to overcome this difficulty, substituting the product implication by a continuous approximation of it. The resulting algebras, the L$\Pi_q$-algebras, are investigated in the present paper. In this paper we give a complete axiomatization of the quasivariety obtained in this way, and we show that such quasivariety is generated by the class of all L$\Pi_q$-algebras whose lattice reduct is the unit interval [0,1] with the usual order.
Continuous approximations of MV-algebras with product and product residuation
μ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
Fuzzy Logic and Algebra: an overview
An introductory lecture on the interplay between fuzzy logic and algebra given at the second MATHLOGAP Workshop in Leeds 21-25 August 2006.
Fuzzy Logic and Algebra An overview
Logique Multi-Valeur: une introduction
A introductory lecture on mathematical fuzzy logic given, in french, at the Mathematic Department Institut Camille Jordan of the Univeristy Lyon 1 -France-, $22^{th}$ September 2005.
Logique Multi-Valeur: une introduction (French)
also in english
Multi-valued Logic An overview (English)
LPi Logic with Fixed Point Operator
A presentation given at the conference Topological and Algebraic Methods in Non-Classical Logic -TANCL- in Barcelona, $15^{th}-18^{th}$ June 2005.
LPi Logic with Fixed Point Operator
