Apps of "abstract algo logics"