Nicéphore Blemmydès et Théophile Corydalée, Logique