Scientific Calendar Event



Starts 10 Dec 2010 10:30
Ends 10 Dec 2010 20:00
Central European Time
ICTP
Leonardo da Vinci Building Luigi Stasi Seminar Room
Strada Costiera, 11 I - 34151 Trieste (Italy)
Product logic is a many-valued propositional logic whose set of truth-values is the half-open interval (0,1], and whose conjunction connective is ordinary multiplication. As an equational theory, it has free structures, and it turns out that the automorphism groups of these structures have a rich and interesting dynamics. We survey a few results in this area, and discuss some open problems.
  • A. Bergamo