Досліджені еквівалентні перетворення і запропоновані нормальні форми для неокласичних логік функціонально-екваційного рівня. Такі логіки більше адаптовані до потреб моделювання та програмування, зберігаючи основні властивості класичної логіки предикатів.
