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