Teroźno logika tajluje sie na teoryjo rekuryncyje, teoryjo modelu i teoryjo dowodu, i je ściśle zwiōnzano z teoretycznōm informatykōm, a tyż z teoryjōm kategoryje.