[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