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

LPq algebras and Quasifields

A poster presented at Computer Science Logic and 8th Kurt Gödel Colloquium, Vienna, Austria $25^{th} – 30^{th}$ August 2003.  I introduce a class of commutative $f$-rings with strong unit and with a sort of weak divisibility property, called $f$-quasifields, and show that the categories of L$\Pi_q$-algebras and of $f$-quasifields are equivalent.

Poster Goedel

 

Dualities for MV-algebras

This is a talk presenting dome results on geometrical dualities for MV-algebras. The article is dedicated to the memory of Leo Esakia.  The talk was delivered at the Studia Logica conference Ordered Groups and Lattices in Algebraic Logic, Tbilisi, Georgia. $22^{d}$ September, 2011.

A very similar talk was selected as featured talk at the XIX Congess of Italian Mathematicians, Bologna 12-17 September 2011.

 

Dualities for MV-algebras

The unification type of Łukasiewicz logic is nullary

This is the most updated version of a talk presenting the result contained here. The talk was given in plenary session at Topology, Algebra, and Category in Logic -TACL- V, Marseille, 28$^{th}$ July. 2011

The unification type of Łukasiewicz logic is nullary

« Previous PageNext Page »