Many-valued logic: Algebraic,
Geometric and Computational Aspects
In honour of Daniele Mundici's 70th birthday
Here follows a tentative list of colleagues who have already expressed their intention to participate in the workshop.
- Matthias Baaz: Unsound rules make proofs easier (joint work with Juan P.Aguilera)
- Xavier Caicedo
- Antonio Di Nola: Some invariant skeletons for unital lattice groups and MV-algebras
- Francesc Esteva: Similarity based reasoning based on prototipes and counterexamples
- Chris Fermüller: Giles' Game - Recent Developments and Challenges
- Joan Gispert: Almost structural completeness and structural completeness of nilpotent minimum logics
- Reiner Hähnle: A Dynamic Logic with Traces and Coinduction
- Gyula Katona: When the lie depends on the target
- Tomas Kroupa: Generalised states of MV-algebras
- Alexander Leitsch: CERES in intuitionistic logic
- Ioana Leustean: Towards game semantics for Moisil logic
- Mirko Navara: MV-algebras and states on tribes
- Matteo Sereno: Ulam-Renyi games & Kraft's inequality: Old ingredients for a new recipe ?
- Carlo Toffalori: Robinson Consistency and other things: model theory in Florence in the eighties