Тип публикации: диссертация
Год издания: 2015
Ключевые слова: предтабличные суперинтуиционистские логики, новые логические константы, полнота по П.С. Новикову
Аннотация: Объект исследования: предтабличные суперинтуиционистские логики и их расширения в языке с дополнительными константами. Цель: описание и изучение полных по П.С. Новикову расширений указанных логик в обогащенном языке. Полученные результаты: описание семейства всех полных по Новикову расширений предтабличных суперинтуиционистских логПоказать полностьюик в обогащенном языке, явные соотношения в полных φ-логиках, аксиоматика и разрешимость полученных расширений, проблема распознавания консервативности. ?