Расширенная нечеткая конструктивная логика

Вводится в рассмотрение логическая система НКЛ$^*$, которая аналогична нечеткой конструктивной логике НКЛ, ранее рассмотренной автором, но, вместе с тем, дает более широкие возможности для установления истинности предикатных формул и построения логических выводов в рамках этой логики. Определяются понятия сильной и слабой НКЛ$^*$-общезначимости предикатных формул. Доказывается, что всякая формула, выводимая в конструктивном (интуиционистском) исчислении предикатов, является сильно НКЛ$^*$-общезначимой. С другой стороны, доказывается, что некоторые формулы, невыводимые в упомянутом исчислении, не являются слабо НКЛ$^*$-общезначимыми. На основе указанного логического аппарата вводится также семантика традиционной конструктивной логики (ТКЛ). Доказываются теоремы, устанавливающие определенные различия между НКЛ$^*$ и ТКЛ. Библ. – 38 назв.