The Semantics of Predicate Logic as a Programming Language

DMCA

The Semantics of Predicate Logic as a Programming Language (1976)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by M. H. Van Emden , R. A. Kowalski

Venue:	JOURNAL OF THE ACM
Citations:	808 - 18 self

BibTeX

@ARTICLE{Emden76thesemantics,
    author = {M. H. Van Emden and R. A. Kowalski},
    title = {The Semantics of Predicate Logic as a Programming Language},
    journal = {JOURNAL OF THE ACM},
    year = {1976},
    volume = {23},
    pages = {569--574}
}

OpenURL

Abstract

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.

Keyphrases

programming language predicate logic proof theory first-order predicate logic operauonal versus denotatlonal semantics operational semantics fixpolnt semantics abstract sentence fixpomt semantics semantics key word phrase model theory special case predicate logic program resolution theorem proving

DMCA