Синтез логических аксиом по визуальным критериям в пространстве логических значенийстатья