Теорема о реализации для логики доказуемости Гeделя-Лeба
Published in Математический сборник • Jan 1, 2016
NobleIDNI9P33W69R40S67
Authors:
Daniyar Shamkanov
Abstract
Предложена новая логика свидетельств, связанная с логикой доказуемости Гeделя-Лeба $\mathsf{GL}$, и доказана теорема о реализации логики $\mathsf{GL}$ в данной логике свидетельств относительно нормальных реализаций. Библиография: 9 названий.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!