term logics