The Semantics of Predicate Logic as a Programming Language
Семантика предикатной логики как язык программирования
1976-10-01
SCID: 54.1/dz8yfrkf
Discuss with AI
fixpoint semanticsmodel theoryoperational semanticspredicate logic as programming languageproof theory
Figures from the paper
Abstract (AI)
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.
Key Findings
1
Fixpoint semantics is shown to be a special case of model-theoretic semantics.
2
Operational semantics and fixpoint semantics for predicate logic programs are formally defined in the paper.
3
Operational semantics is characterized as a component of proof theory.
4
Sentences in first-order predicate logic can be interpreted as programs, enabling a programming-language view of predicate logic.
5
The paper investigates and establishes connections among operational semantics, fixpoint semantics, proof theory, and model theory for predicate logic programs.
Research Object
First-order predicate logic sentences interpreted as programs
Research Subject
Operational and fixpoint semantics of predicate logic programs and their connections to proof theory and model-theoretic semantics
Publication Details
Publication Date
1976-10-01
Journal
Publisher
ISSN
Open access PDF
Access Type
Author Information
Download PDF
Subscribe to digest