Algebraic Semantics for Uncertainty and Vagueness
18th - 20th May 2011
Palazzo Genovese, Salerno - Italy
Plenary Talks
-
Leonardo Cabrer, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina.
Weakly Projective MV-algebras
Download the slides
-
Anatolij Dvurečenskij, Mathematical Institute SAS, Slovakia.
A General Approach to State-Morphism MV-Algebras
Download the slides
-
Emil Jeřábek, Academy of Sciences, Czech Republic.
Admissible rules and Lukasiewicz logic
Download the slides
-
Tomáš Kroupa, Academy of Sciences, Czech Republic.
Measuring Uncertainty and Vagueness on MV-algebras
Download the slides
-
Franco Montagna, University of Siena, Italy.
Quantifier elimination, amalgamation, deductive interpolation and Craig interpolation in fuzzy logic.
Download the slides
-
Wolfgang Rump, University of Stuttgart , Germany.
The Omnipresence of Quantum B-Algebras and the Hiding of their Spectrum
Download the slides