Učitavanje video playera...
00:50:06
Stipe Marić: Logika konzervativnosti i druge podlogike sistema IL (1)
Na seminaru će se definirati sistem IL− i promatrati neka proširenja tog sistema koja su ujedno i podlogike sistema IL. Primjer jedne takve logike je sistem CL. Pokazat ćemo koliko ukupno ima podlogika sistema IL dobivenih dodavajući sistemu IL− određene aksiome. Na kraju ćemo pokazati (ne)potpunost tih podlogika u odnosu na IL− okvire.
