ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1999, ТОМ 5, ВЫПУСК 3, СТР. 903-926

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

А. Д. Яшин

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

Дана классификация полных по Новикову расширений интуиционистской логики высказываний в языке с одной дополнительной константой. Доказана разрешимость массовой проблемы консервативности исчислений в этом языке над обычным интуиционистским пропозициональным исчислением.

Полнотекстовая версия статьи в формате PostScript (86 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/99/993/99319h.htm
Изменения вносились 11 ноября 1999