Seminar for GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za novembar 2012.
Predavanje treba da se odrzi u sali 301f Matematickog instituta (Knez Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja predavanja. Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje, nego samo s vremena na vreme.
Ponedeljak, 19. novembar, u 18:00
Dragisa Zunic (Fakultet za ekonomiju i inzenjerski menadzment, Novi Sad)
RACUNANJE U KLASICNOJ LOGICI SA EKSPLICITNIM STRUKTURALNIM PRAVILIMA
RACUN *X
Rezime: Racunom *X, u okvirima Kari-Hauardove korespondencije, daje se racunska interpretacija klasicne logike iz koje se vidi racunska uloga strukturalnih pravila slabljenja i kontrakcije. Ta pravila odgovaraju brisanju i udvostrucavanju. S obzirom na normalnu formu, situacija je ovde drukcija nego za intuicionisticku logiku. Rezultati koji treba da budu prikazani dobijeni su u saradnji sa Pjerom Leskanom (Pierre Lescanne) i Silviom Gilezan.
OBAVESTENJA:
Ukoliko ne zelite da primate obavestenja o ovom seminaru na Vasu elektronsku adresu porucite, molim Vas, to u odgovoru na ovu poruku. A ukoliko bi pak neko voleo da dobija ta obavestenja, a nije dobio ovo, njegova ce adresa sa zadovoljstvom biti dodata na listu.
Beograd, 2012.g.
Kosta Dosen, rukovodilac Seminara