On the use of variable predicates to formalize information storage algorithms in biosystems

In the article logic systems with value predicates, their applications for the decision of intellectual problems in poorly formalized areas are considered. The way of construction of decision function for the set subject domain is offered, its properties are considered. As the private example of variable logic a system of four-unit logic, particularly DNA-logic is considered.