Розглядаються алгебри предикатів різних рівнів абстракції. Досліджуються властивості та структури множин нерухомих і квазінерухомих точок монотонних та неперервних операторів над різними типами часткововпорядкованих множин: повна частково впорядкована множина, сумісно-повна решітка, повна решітка та інші.
The Predicate algebras of different abstraction levels are considered. The properties and structures of fixpoints and quasifixpoints sets of monotone and continuous operators for different types of the partially ordered sets: complete partially ordered set, consistently complete lattice, complete lattice and others, are investigated.
