|
|
09:00 - 09:30 | |
A. Tozzi
[ Alcuni aspetti della topologia senza punti ] |
|
|
09:30 - 10:00 | |
G. Panti
[ Automorfismi di Bernoulli in logica multivalente ] |
|
|
10:00 - 10:30 | |
R. Camerlo
[ Universal analytic preorders ] |
|
|
10:30 - 11:00 | |
M. Abrusci
[ Proof-nets e sillogismi ] |
|
|
11:00 - 11:30 | |
COFFEE BREAK |
|
|
11:30 - 12:00 | |
D. Mundici
[ Feedback coding and many-valued logic ] |
|
|
12:00 - 12:30 | |
S. Berardi
[ Il Terzo Escluso come principio costruttivo di apprendimento ] |
|
|
12:30 - 13:00 | |
M. Di Nasso
[ Topological extensions, ultrafilters and nonstandard analysis ] |
|
|
LUNCH BREAK |
|
|
14:30 - 15:00 | |
M. Forti
[ An Aristotelian way of counting the infinite ] |
|
|
15:00 - 15:30 | |
R. Dyckhoff
[ Proof theoretic methods in linear lattice theory ] |
|
|
15:30 - 16:00 | |
V. Puninskaya
[ Vaught conjecture and modules with few types ] |
|
|
16:00 - 16:30 | |
COFFEE BREAK |
|
|
16:30 - 17:20 | |
Z. Robinson
[ Cell decomposition for Henselian valued fields ] |
|
CONTRIBUTI
[ sessioni in parallelo ] |
|
|
» Aula Magna |
|
|
17:30 - 17:50 | |
G. Pulcini
[ Calculus of surfaces and permutative logic ] |
|
|
17:50 - 18:10 | |
G. Bellin
[ Un calcolo delle continuazioni, duale del Lambda Calcolo, per la Logica Bi-intuizionista Polarizzata ] |
|
|
18:10 - 18:30 | |
A. Ciabattoni
[ Automated generation of analytic calculi for logics with linearity ] |
|
|
18:30 - 18:50 | |
C. Faggian
[ Ludics nets, a game model of concurrent interaction ] |
|
|
18:50 - 19:10 | |
M. Pedicini
[ On the number of provable formulas ] |
|
|
» Aula Riunioni |
|
|
17:30 - 17:50 | |
E. Pastori
[ Nuclei di ricoprimenti finiti semplici ] |
|
|
17:50 - 18:10 | |
G. Terzo
[ Alcune conseguenze della Congettura di Schanuel su anelli esponenziali ] |
|
|
18:10 - 18:30 | |
P. Schuster
[ Dini's Theorem in the light of reverse mathematics ] |
|
|
18:30 - 18:50 | |
cancellato |
|
|
18:50 - 19:10 | |
S. Barbina
[ Ricostruzione di strutture ω-categoriche dal loro gruppo degli automorfismi ] |
|
|
» Aula Seminari |
|
|
17:30 - 17:50 | |
A. Drago
[ Kolmogoroff and the relevance of the double negation law in science ] |
|
|
17:50 - 18:10 | |
N. Olivetti
[ Belief revision and conditional logic ] |
|
|
18:10 - 18:30 | |
G. Ronzitti
[ Brouwer and Heyting on countable sets ] |
|
|
18:30 - 18:50 | |
H. Hosni
[ Razionalità come conformità ] |
|
|
18:50 - 19:10 | |
T. Arrigoni
[ The continuum hypothesis revisited: new
perspectives ] |
