15. siječnja 2025. / Članci
POVIJEST LOGIKE (3)
Logička korektnost, potpunost i kompaktnost. Gentzenov IF-sustav i Bethova semantička stabla
U trećem nastavku serijala o logici, Zvonimir Šikić fokusira se na pojmove logičke korektnosti, potpunosti i kompaktnosti, te predstavlja pravila i definicije za konstrukciju Bethovih semantičkih stabala.
Zvonimir Šikić