|
Фундаментальная и прикладная математика, 1999, том 5, выпуск 3, страницы 903–926
(Mi fpm422)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
О новой константе в интуиционистской логике высказываний
А. Д. Яшин Московский государственный университет им. М. В. Ломоносова
Аннотация:
Дана классификация полных по Новикову расширений интуиционистской логики высказываний в языке с одной дополнительной константой. Доказана разрешимость массовой проблемы консервативности исчислений в этом языке над обычным интуиционистским пропозициональным исчислением.
Ключевые слова:
интуиционистская логика, новая константа, полнота по Новикову.
Поступила в редакцию: 01.04.1996
Образец цитирования:
А. Д. Яшин, “О новой константе в интуиционистской логике высказываний”, Фундамент. и прикл. матем., 5:3 (1999), 903–926
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm422 https://www.mathnet.ru/rus/fpm/v5/i3/p903
|
Статистика просмотров: |
Страница аннотации: | 274 | PDF полного текста: | 115 | Первая страница: | 1 |
|