| 09:30 | R. Grigolia On projective MV-algebras |
| 10:30 | G. Lenzi O-Minimal and Weakly O-Minimal MV-Chains
Slides |
| 10:55 | Coffee Break |
| 11:25 | I. Leustean MV-modules
Slides |
| 12:25 | L. M. Cabrer Remarks on Unification in MV-algebras |
| 12:50 | F. Esteva Some remarks about standard first order tautologies
Slides |
| 13:15 | Lunch |
| |
| 15:00 | A. Ciabattoni Systematic Proof Theory for Many-valued logics
Slides |
| 16:00 | S. Sessa Fuzzy Similarity For Frames Of Colour Videos |
| 16:25 | Coffee Break |
| 16:55 | V. Novak Models and Submodels in Higher-Order Fuzzy Logic
Slides |
| 17:20 | D. Diaconescu Schematic extensions of psMTL logic
Slides |
| 17:45 |
|
Last page update: 19 Jul 2012