О некоторых применениях метода семантического оценивания

Предлагается компьютерно ориентированная система семантического оценивания суждений. Изучаются ее свойства и доказываются соответствующие утверждения. В частности, показана возможность конструирования объекта по доказательству его существования; показана возможность переносить свойства упорядоченных полей (в том числе теорем Гильберта и Артина, включая верхние числовые оценки в этих теоремах) на упорядоченные кольца специального вида.