В. Н. Крупский, “О символических моделях для функциональной логики доказательств”, Матем. сб., 202:5 (2011), 63

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ЛИЧНЫЙ КАБИНЕТ БИБЛИОТЕКА

	Общая информация
	Последний выпуск
	Скоро в журнале
	Архив
	Импакт-фактор
	Правила для авторов
	Загрузить рукопись
	Историческая справка

	Поиск
	RSS
	Последний выпуск
	Текущие выпуски
	Архивные выпуски
	Что такое RSS

Матем. сб.:
Год:
Том:
Выпуск:
Страница:
	Найти

Поиск по сайту:

Найти

Персональный вход:
Логин:
Пароль:
	Запомнить пароль
	Войти
	Забыли пароль?
	Регистрация

Матем. сб., 2011, том 202, номер 5, страницы 63–76 (Mi msb7665)

PDF версия

HTML версия

О символических моделях для функциональной логики доказательств

В. Н. Крупский

Механико-математический факультет Московского государственного университета им. М. В. Ломоносова

Аннотация: В работе определяется понятие символической модели для функциональных логик доказательств. Получены результаты о корректности и полноте указанных логик относительно соответствующих классов символических моделей. Эта техника применяется для доказательства корректности использования термов функциональной логики доказательств в качестве обозначений для ее собственных выводов.
Библиография: 17 названий.

Ключевые слова: формальный вывод, предикат доказательств, функциональная логика доказательств, модель Мкртычева, свойство интернализации выводов.

УДК: 510.64+510.67

MSC: 03F45

Поступила в редакцию: 13.12.2009

Образец цитирования: В. Н. Крупский, “О символических моделях для функциональной логики доказательств”, Матем. сб., 202:5 (2011), 63–76

Цитирование в формате AMSBIB:

\RBibitem{Kru11}

\by В.~Н.~Крупский

\paper О символических моделях для~функциональной логики доказательств

\jour Матем. сб.

\yr 2011

\vol 202

\issue 5

\pages 63--76

\mathnet{http://mi.mathnet.ru/msb7665}

\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2841518}

\transl

\jour Sb. Math.

\yr 2011

\vol 202

\issue 5

\pages 683--695

\crossref{http://dx.doi.org/10.1070/SM2011v202n05ABEH004161}

\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000294703200004}

Образцы ссылок на эту страницу:

http://mi.mathnet.ru/msb7665

http://mi.mathnet.ru/rus/msb/v202/i5/p63

Полный текст: PDF файл (471 kB)
Первая страница статьи

Первая страница: PDF файл

Список литературы: PDF файл HTML файл

Англоязычная версия:
Sbornik: Mathematics, 2011, 202:5, 683–695

Реферативные базы данных:

ISI Web of Knowledge: 000294703200004

ОТПРАВИТЬ:

Citing articles on Google Scholar: Russian citations, English citations
Related articles on Google Scholar: Russian articles, English articles

Просмотров:
Эта страница:	92
Литература:	2
Первая стр.:	5

Обратная связь:

Пользовательское соглашение

Регистрация