A first order logic for partial functions

This publication has 9 references indexed in Scilit:

• Algorithmic specifications: a constructive specification method for abstract data types
  ACM Transactions on Programming Languages and Systems, 1987
• Partial-predicate logic in computer science
  Acta Informatica, 1987
• Partial models and logic programming
  Theoretical Computer Science, 1986
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• A logic covering undefinedness in program proofs
  Acta Informatica, 1984
• Partial abstract types
  Acta Informatica, 1982
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
  Archive for Mathematical Logic, 1969
• The Calculus of Partial Predicates and Its Extension to Set Theory I
  Mathematical Logic Quarterly, 1961
• Sur les correspondances multivoques des ensembles
  Fundamenta Mathematicae, 1926