Fuzzy constructive logic

A logical system where the principles of fuzzy logic are interpreted from the point of view of the constructive approach is introduced. The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically true predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibl. – 40 titles.