Seminar for
GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za februar 2012.
Predavanje treba da se odrzi u sali 301f Matematickog instituta (Knez Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja predavanja (tacno u pola cetiri, bez kasnjenja od cetvrt sata). Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje, nego samo s vremena na vreme.
PETAK, 17.02.2012. U 15:30
Zoran Petric (Matematicki institut, Beograd)
IZOMORFIZMI ISKAZNIH FORMULA
Rezime. Ukoliko damo odgovor na osnovno pitanje opste teorije dokaza:
"Kada su dva izvodjenja u nekom deduktivnom sistemu jednaka?", mozemo
postaviti novo pitanje: "Kada su dve formule u tom sistemu izomorfne?".
Izomorfizam formula je relacija koja bi trebalo da bude jaca od obicne
ekvivalencije i koja kazuje da se formula u izvodjenju moze zameniti
formulom koja je njoj izomorfna a da se sustina izvodjenja ne promeni.
Na predavanju ce biti reci o karakterizaciji izomorfnih iskaznih formula u
deduktivnim sistemima vezanim za intuicionisticku, klasicnu linearnu i
klasicnu iskaznu logiku.
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