Učitavanje video playera...
01:41:39
Luka Mikec: Potpunost logike interpretabilnosti ILP
Sažetak: Logika interpretabilnosti ILP aritmetički karakterizira jednu bitnu klasu teorija. Opisat ćemo alternativan dokaz njene modalne potpunosti, koji je dobiven (manjim) izmjenama dokaza potpunosti logike IL tzv. step-by-step pristupom Evana Gorisa i Joosta Joostena.
