О доле выполнимости формул $k$-значной логики с кванторами MIN, MAX

При рассмотрении какого-либо свойства объектов из совокупности растущего объема часто оказывается, что доля объектов, обладающих этим свойством, стремится к нулю или единице. Известно, что для установления такого 0 – 1 закона можно использовать весьма общий подход, основанный на применении формальных логических языков, предназначенных для описания свойств рассматриваемых объектов и позволяющих характеризовать поведение доли выполнимости на основе синтаксического анализа формулы, выражающей рассматриваемое свойство. В настоящей работе 0 – 1 закон устанавливается для формул многозначного аналога логики предикатов первого порядка.