Семантика предикатной логики как язык программирования
The Semantics of Predicate Logic as a Programming Language
1976-10-01
SCID: 54.1/dz8yfrkf
Discuss with AI
фикспоинтная семантикатеория моделейоперационная семантикапредикатная логика как язык программированиятеория доказательств
Figures from the paper
Abstract (AI)
Предложения в первом порядке предикатной логики могут быть с пользой интерпретированы как программы. В данной статье определены операционная и фикспойнтная семантики программ предикатной логики и исследованы связи с доказательной теорией и модельной теорией логики. Делается вывод, что операционная семантика является частью доказательной теории, а фикспойнтная семантика представляет собой частный случай модельно-теоретической семантики.
Key Findings
1
Доказано, что семантика неподвижной точки является частным случаем модельно-теоретической семантики.
2
В статье формально определены операционная семантика и семантика неподвижной точки для программ предикатной логики.
3
Показано, что операционная семантика является частью теории доказательств.
4
Предложения в первом порядке предикатной логики могут интерпретироваться как программы, что позволяет рассматривать предикатную логику как язык программирования.
5
В работе исследованы и установлены связи между операционной семантикой, семантикой неподвижной точки, теорией доказательств и модельной теорией для программ предикатной логики.
Research Object
Предложения исчисления предикатов первого порядка, интерпретируемые как программы
Research Subject
Операционная и фикс-пойнтная (фиксированная точка) семантика программ на предикатной логике и их связи с теорией доказательств и модельно-теоретической семантикой
Publication Details
Publication Date
1976-10-01
Journal
Publisher
ISSN
Open access PDF
Access Type
Author Information
Download PDF
Subscribe to digest