То есть, ST — это уже не предикат, а функция, область значений которой лежит либо в трехнзначной логике, либо в нечеткой логике, но никак не в булевой логике (а если, все-таки, мы построим этот ST так, что его область значений лежит в булевой логике, то мы будем обманывать сами себя, в меньшей или большей степени в зависимости от качества аппроксимации).

Источник: 003540 Еще про статическую типизацию

Однако нечеткие правила игры, со скрипом допуск на шельф иностранных компаний, отсутствие инфраструктуры геологоразведка из-за высокой стоимости работ отданы на финансирование бизнесу.

Источник: 34403 В Москве подвели итоги Международной конференции «Арктика: регион развития и сотрудничества»