ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1996, ТОМ 2, ВЫПУСК 2, СТР. 483-499

Логика Гжегорчика с операторами арифметических доказательств

Е. Ю. Ногина

Аннотация

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

Аксиоматизируется логика с модальным оператором "... истинно и доказуемо" и маркированными модальными операторами доказательств "p является доказательством...". Устанавливается полнота по Крипке, разрешимость и арифметическая полнота этой логики.

Постскрипт статьи (70Kb)



Главная страница Редколлегия Информация для авторов
Поиск Содержание журнала Объявления

URL страницы: http://mech.math.msu.su/~fpm/rus/96/962/96206h.htm
Изменения вносились 1 апреля 1999