Аннотация:
Вводится логическая система, в которой принципы нечеткой логики трактуются с точки зрения конструктивного подхода. Рассматривается язык предикатных формул без функциональных символов и предметных констант. Вводится понятие предикатной формулы, тождественно истинной в рассматриваемой логике; даются два варианта этого понятия. Доказываются теоремы, касающиеся тождественной истинности некоторых предикатных формул. Устанавливаются определенные связи между введенной логикой и конструктивным (интуиционистским) исчислением предикатов. Библ. – 40 назв.
Полный текст:
PDF файл (275 kB)