The Semantics of Predicate Logic as a Programming Language

Citations Over TimeTop 10% of 1976 papers

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.

Related Papers

• → A semantic study of the first-order predicate logic with uncertainty involved(2014)15 cited
• → Predicate-Functor Logics(*)(1971)25 cited
• → Algebraic semantics for superintuitionistic predicate logics(1999)3 cited
• The Logic Manual(2010)
• → Predicate Logic(1987)