О тавтологиях $\omega^+$-значной логики

В статье устанавливается связь между тавтологиями $\omega^+$-значной логики предикатов, изучавшейся в [1], и тавтологиями m-значных логик при различных $m<\omega$. Как следствие, доказывается, что множество тавтологий $\omega^+$-значной логики предикатов является V3-множеством. Строится алгоритм, который по любой пропозициональной формуле $\omega^+$-значной логики распознает, является ли она $\omega^+$-значной тавтологией; предложена одна аксиоматизация $\omega^+$-значной пропозициональной логики. Библ. 3 назв.