|
Интеллектуальные системы. Теория и приложения, 2019, том 23, выпуск 1, страницы 133–136
(Mi ista222)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Часть 3. Математические модели
Условие корректности и полноты классической логики для семантики относительной $V$-реализуемости
А. Ю. Коновалов
Аннотация:
Пусть $L$ — некоторое расширение языка арифметики, $V$ — некоторый класс числовых функций. Определяется понятие $V$-реализуемости для предикатных формул, основанное на оценке предикатных переменных формулами языка $L$. Устанавливается корректность и полнота классической логики относительно семантики $V$-реализуемости в случае, когда класс $V$ содержит все функции, определимые в языке $L$.
Ключевые слова:
конструктивная семантика, реализуемость, обобщенная реализуемость, формальная арифметика.
Образец цитирования:
А. Ю. Коновалов, “Условие корректности и полноты классической логики для семантики относительной $V$-реализуемости”, Интеллектуальные системы. Теория и приложения, 23:1 (2019), 133–136
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista222 https://www.mathnet.ru/rus/ista/v23/i1/p133
|
Статистика просмотров: |
Страница аннотации: | 93 | PDF полного текста: | 27 | Список литературы: | 24 |
|