Аннотация:
Рассматривается проблема выполнимости для систем функциональных уравнений счетнозначной логики, содержащих тернарный дискриминатор $p$. Доказывается, что данная проблема является $m$-полной в классе $\Pi_1$ иерархии Клини–Мостовского.
Ключевые слова:функциональные уравнения, счетнозначная логика, проблема выполнимости.
Полный текст:
PDF файл (182 kB)