Areas of control of the development and implementation of the known and used formal logic.
Updating the underlying logical structure of the application areas and matrix theory.
Ensuring and improving the liaison of the Science of Logic with other fields.