Аксиоматическое исчисление неопределенности.

Abstract

In this article the axioms are found fo r the earlier-built three-value sem antics o f uncertainty. The resulting axiomatic system is non-contradictory and com plete with this sem antics. In the basis o f the axiom atic system there is the algorithm o f converting the form ulae o f the initial language into the auxiliary one that elim inates the uncertainty sym bol