[CvGmt News] Fwd: programma workshop

[granucci at math.unifi.it]

====================cut here=====================


Workshop di Logica Nonclassica

Giovedi· 30 ottobre 2003
Dipartimento di Matematica ·U.Dini·
Viale Morgagni 67/A
50134 Firenze

Sala Tricerri



9.15--10.05:   R.Cignoli, A.Torrens
Glivenko theorem in some extensions of BCK logic

10.10--11.00:  M. Dalla Chiara, R.Giuntini
Quantum computational structures


11.15--12.05:  S.Gudder
A computational logic on Fock space

12.10--13.00:  F.Montagna
Storage operators




15.00--15.50:  H.Ono
An algebraic view of embedding theorems among substructural logics

15.55--16.25:  P.Minari
Proof theory of combinatory logic

16.30--17.00:  F.Paoli
Divisibility and cancellation in *-autonomous lattices.
-----------------------------------------------------------



Saluti Angela Caporicci



Dipartimento di Matematica "U. Dini"
Viale Morgagni 67/A
50134 Firenze
tel. 0554237167 -cel. 3293603906
 e-mail: caporicc at math.unifi.it