|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Нормализация термов в точных моделях логики доказательств LPстатья Исследовательская статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
- Автор: Крупский В.Н.
- Журнал: Вестник Московского университета. Серия 1: Математика. Механика
- Номер: 6
- Год издания: 2023
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 52
- Последняя страница: 55
- DOI: 10.55959/MSU0579-9368-1-64-6-7
- Аннотация: Базисная модель логики свидетельств является точной, если конструкторы свидетельских термов ·,+, ! в модели интерпретируются в точности в соответствии с их неформальным пониманием как применение правила modus ponens, объединение и верификациясвидетельств. В статье строится пример точной базисной модели для логики доказательствLP и доказывается, что в точных моделях LP каждый терм эквивалентен некоторому полиному доказательств.
- Добавил в систему: Крупский Владимир Николаевич