Профиль » Публикация
Опубликовано
1996-00-00
ЖурналФундаментальная и прикладная математика
Логика Гжегорчика с операторами арифметических доказательств
Е. Ю. Ногина. Логика Гжегорчика с операторами арифметических доказательств. // Фундаментальная и прикладная математика
1996, том 2, Выпуск 2, стр. 483-499. - Режим доступа: http://mech.math.msu.su/~fpm/rus/
Аннотация
Аксиоматизируется логика с модальным оператором "... истинно и доказуемо" и маркированными модальными операторами доказательств "p является доказательством...". Устанавливается полнота по Крипке, разрешимость и арифметическая полнота этой логики.
http://mech.math.msu.su/~fpm/ps/96/962/96206.zip
Показать статистику Комментарии
Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален
