A first order logic for partial functions

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

A kripke-kleene semantics for logic programs*

Melvin Fitting · The Journal of Logic Programming · 1985 · 539 citations

Language Studies, Computer Science, Mathematics +12

Department of electrical engineering and computer science

M. Sarrafzadeh · ACM SIGDA Newsletter · 1990 · 328 citations · Full text

Engineering, Computer Science, Electrical Engineering +2

The Foundations of Mathematics.

Charles Parsons, Evert W. Beth · The Philosophical Review · 1961 · 228 citations

Natural Sciences, Mathematics, Applied Mathematics +5

A logic covering undefinedness in program proofs

Howard Barringer, Jinsong Cheng, Cliff B. Jones · Acta Informatica · 1984 · 172 citations

Computing, Computer Science, Formal Methods +11