Universal system for many-valued logic, based on splitting method, and some of its properties