Image logic algebra (ILA) and its applications (abstract)