Aspetti dinamici di strutture logiche

In logica algebrica gli oggetti di interesse sono certe algebre che formalizzano certi calcoli logici. L'esempio canonico e` quello delle algebre di Boole, che formalizzano il calcolo proposizionale classico. Usualmente queste algebre hanno spazi duali, e gli endomorfismi delle algebre divengono selfmaps continue sui duali; per esempio, nel caso classico abbiamo selfmaps sullo spazio di Cantor. In logica multivalente le algebre sono sostanzialmente gruppi abeliani reticolari, e gli spazi duali sono il cubo o la sfera unitari.<br /> Le selfmaps sono funzioni continue, sul cubo o sulla sfera, lineari a tratti o frazionali a tratti, a seconda della logica di partenza. Proprieta` logico-algebriche di interesse sulle algebre si riflettono in proprieta` dinamiche sui duali, e viceversa. In questo seminario verranno presentati gli aspetti principali di questa teoria, alcuni risultati ottenuti, e vari problemi aperti.