[CvGmt News] Fwd: programma workshop

granucci at math.unifi.it granucci at math.unifi.it
Fri Oct 3 14:50:15 CEST 2003

====================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

More information about the News mailing list