Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 7. travnja 2025. u 17:15 sati, u predavaonici 201, PMF-MO, 

Sebastijan Horvat održat će predavanje 

 

Sistemi sekvenata za logike interpretabilnosti

 

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.