Фундаментальная и прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

Поиск публикаций
Поиск ссылок

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


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




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

Фундаментальная и прикладная математика, 1999, том 5, выпуск 3, страницы 903–926 (Mi fpm422)  
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)

О новой константе в интуиционистской логике высказываний

А. Д. Яшин

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (918 kB) Список цитирования (7)
Аннотация: Дана классификация полных по Новикову расширений интуиционистской логики высказываний в языке с одной дополнительной константой. Доказана разрешимость массовой проблемы консервативности исчислений в этом языке над обычным интуиционистским пропозициональным исчислением.
Ключевые слова: интуиционистская логика, новая константа, полнота по Новикову.
Поступила в редакцию: 01.04.1996
Реферативные базы данных:
УДК: 517.12
Образец цитирования: А. Д. Яшин, “О новой константе в интуиционистской логике высказываний”, Фундамент. и прикл. матем., 5:3 (1999), 903–926
Цитирование в формате AMSBIB
\RBibitem{Yas99}
\by А.~Д.~Яшин
\paper О новой константе в~интуиционистской логике высказываний
\jour Фундамент. и прикл. матем.
\yr 1999
\vol 5
\issue 3
\pages 903--926
\mathnet{http://mi.mathnet.ru/fpm422}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1806864}
\zmath{https://zbmath.org/?q=an:0982.03005}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm422
  • https://www.mathnet.ru/rus/fpm/v5/i3/p903
    • Эта публикация цитируется в следующих 7 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Фундаментальная и прикладная математика
    Статистика просмотров:
    Страница аннотации:296
    PDF полного текста:124
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024