|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Некорректность базисной логики предикатов относительно
сильного варианта строгой примитивно-рекурсивной реализуемости
А. Ю. Коновалов Московский государственный университет имени М. В. Ломоносова
Аннотация:
Доказывается, что исчисление базисной логики предикатов
BQC некорректно относительно сильного варианта
строгой примитивно-рекурсивной реализуемости.
Библиография: 10 названий.
Ключевые слова:
строгая примитивно-рекурсивная реализуемость,
базисная логика предикатов BQC,
конструктивная семантика, реализуемость.
Поступило: 01.07.2021 Исправленный вариант: 13.09.2021
Образец цитирования:
А. Ю. Коновалов, “Некорректность базисной логики предикатов относительно
сильного варианта строгой примитивно-рекурсивной реализуемости”, Матем. заметки, 111:2 (2022), 241–257; Math. Notes, 111:2 (2022), 243–257
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm13203https://doi.org/10.4213/mzm13203 https://www.mathnet.ru/rus/mzm/v111/i2/p241
|
Статистика просмотров: |
Страница аннотации: | 151 | PDF полного текста: | 17 | Список литературы: | 40 | Первая страница: | 7 |
|