Logical approximation: general approach to the construction of approximating formulas.
Irina Perfilieva · 2001
The principal approach to the constnlctic111 of approximating formuias is discussed. 1 % argue that, logical nornal forrr~s are the protot,ypes of any krlowil approximating and/or interpolating formulas. We suggest the generalized defiilitioll of ilornlal forms in predicate ELlogic and prove coridit,iollal eqnivalencr between a, formula and each c>f its nc.rma1 form. Some nlut,ual rela,tiorls between norri~al fornis are also establislied.