Интеллектуальные системы. Теория и приложения,
2015, том 19, выпуск 3, страницы 95–100
(Mi ista198)
|
Эта публикация цитируется в
1 статье
Часть 3. Математические модели
Неразрешимое суперинтуиционистское пропозициональное исчисление от трёх переменных
Г. В. Боков
Аннотация:
В данной работе построено неразрешимое суперинтуиционистское пропозициональное исчисление, аксиомы которого содержат только три переменные.
Ключевые слова:
Суперинтуиционистское пропозициональное исчисление, неразрешимое исчисление, машина Минского.
© , 2024
Полный текст:
PDF файл (593 kB)