Тип публикации: статья из журнала
Год издания: 2026
Ключевые слова: formal system, big-step semantics, proof verification, формальная система, операционная семантика, верификация доказательств
Аннотация: Big-step semantics is presented for the language that is powerful enough to encode arbitrary formal systems with computable inference rules and metatheorems about them but simple enoughto implement and to reason about and potentially suitable for self-verification В работе представлена операционная семантика языка, достаточного мощПоказать полностьюногодля выражения произвольных формальных систем с вычислимыми правилами вывода и мета-теорем об этих системах, при этом достаточно простого для реализации и теоретического анализа,а также потенциально пригодного для самоверификации
Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск журнала: Т.19, №3
Номера страниц: 335-346
ISSN журнала: 19971397
Место издания: Красноярск
Издатель: Сибирский федеральный университет