ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

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