Матем. заметки,
2022, том 111, выпуск 2, страницы 241–257
(Mi mzm13203)
|
Эта публикация цитируется в
2 статьях
Некорректность базисной логики предикатов относительно
сильного варианта строгой примитивно-рекурсивной реализуемости
А. Ю. Коновалов Московский государственный университет имени М. В. Ломоносова
Аннотация:
Доказывается, что исчисление базисной логики предикатов
BQC некорректно относительно сильного варианта
строгой примитивно-рекурсивной реализуемости.
Библиография: 10 названий.
Ключевые слова:
строгая примитивно-рекурсивная реализуемость,
базисная логика предикатов BQC,
конструктивная семантика, реализуемость.
УДК:
510.64 Поступило: 01.07.2021
Исправленный вариант: 13.09.2021
DOI:
10.4213/mzm13203
© , 2024
Полный текст:
PDF файл (534 kB)
