|
Математические заметки, 1973, том 13, выпуск 5, страницы 735–745
(Mi mzm7178)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Новое понятие предикативной истинности и определимости
Н. Н. Непейвода Московский государственный университет им. М. В. Ломоносова
Аннотация:
В статье дается понятие предикативной истинности в языке наивного анализа, исследуются особенности порождаемой им логики, доказывается его формализуемость в системе с конструктивным правилом Карнапа и тот факт, что в теории, основанной на этом понятии истины, выразимо то же, что и в обычных теориях гиперарифметического и разветвленного анализа. Библ. 4 назв.
Поступило: 21.08.1971
Образец цитирования:
Н. Н. Непейвода, “Новое понятие предикативной истинности и определимости”, Матем. заметки, 13:5 (1973), 735–745; Math. Notes, 13:5 (1973), 439–445
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm7178 https://www.mathnet.ru/rus/mzm/v13/i5/p735
|
Статистика просмотров: |
Страница аннотации: | 339 | PDF полного текста: | 166 | Первая страница: | 1 |
|