ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1996, ТОМ 2, ВЫПУСК 2, СТР. 483-499
Е. Ю. Ногина
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
Посмотреть в формате LaTeX
Аксиоматизируется логика с модальным
оператором ``{\em \ldots истинно и доказуемо}'' и
маркированными модальными операторами доказательств ``{\em $p$ является
доказательством \ldots}''.
Устанавливается полнота по Крипке, разрешимость и арифметическая полнота
этой логики.
| Главная страница | Редколлегия | Информация для авторов |
| Поиск | Содержание журнала | Объявления |
URL страницы: http://mech.math.msu.su/~fpm/rus/96/962/96206t.htm
Изменения вносились 1 апреля 1999