Obavijest: Na zahtjev voditelja Seminara za matematičku logiku i osnove matematike i Seminara za teorijsko računarstvo, odlukom Vijeća doktorskog studija, s početkom ak. god. 2024./2025. dva navedena seminara se spajaju te se novi seminar zove Seminar za matematičku logiku i računarstvo.

Najava seminara

ponedjeljak, 7. travnja 2025. s početkom u 17:15h u predavaonici 201 (PMF-MO)

SAŽETAK: Na seminaru ćemo analizirati različite sistem sekvenata za logike interpretabilnosti. Prvo ćemo napraviti pregled postojećih radova na temu sistema sekvenata za logike interpretabilnosti. To su ponajprije tri članka K. Sasakija. U njima se razmatraju sistemi sekvenata za osnovnu logiku IL te za proširenje ILP.  Također, razmotrit će se rad grupe S. Iwata, T. Kurahashi i Y. Okawa, koji se bavi sistemima sekvenata za neke podlogike od IL. Osim samih sistema, promotrit ćemo rezultate koji su u tim radovima dobiveni upotrebom tih sistema.

Nakon pregleda postojećih sistema, predstavit ćemo novi sistem sekvenata za IL, koji ćemo usporediti s prethodno prikazanim sistemima. Dokazat ćemo da je novi sistem adekvatan i potpun obzirom na Verbruggeinu semantiku za logiku interpretabilnosti.  Na kraju ćemo spomenuti prednosti novog sistema sekvenata, tj. navest ćemo rezultate koji su dobiveni upotrebom novog sistema, poput eliminacije reza.

Foto (s nekih održanih seminara)