Avoiding the undefined by underspecification

  • David Gries
  • Fred B. Schneider
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1000)


We use the appeal of simplicity and an aversion to complexity in selecting a method for handling partial functions in logic. We conclude that avoiding the undefined by using underspecification is the preferred choice.


Inference Rule Partial Function Predicate Calculus Predicate Logic Natural Deduction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bijlsma, A. Semantics of quasi-boolean expressions. In Feijen, W.H.J., et al (eds.) Beauty is Our Business, Springer-Verlag, New York, 1990, 27–35.Google Scholar
  2. 2.
    Cheng, J.H., and C.B. Jones. On the usability of logics which handle partial functions. In: C. Morgan and J.C.P. Woodcock (eds.). Third Refinement Workshop, pp. 51–69. Workshops in Computing Series, Heidelberg, 1991.Google Scholar
  3. 3.
    Constable, R.L., and M.J. O'Donnell. A Programming Logic. Winthrop, Cambridge, Massachusetts, 1978.Google Scholar
  4. 4.
    Dijkstra, E.W., and C.S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, New York 1990.Google Scholar
  5. 5.
    Gries, D., and F.B. Schneider. A Logical Approach to Discrete Math. Springer-Verlag, New York, 1993.Google Scholar
  6. 6.
    Gries, D., and F.B. Schneider. Equational propositional logic. IPL 53 (1995), 145–152.CrossRefGoogle Scholar
  7. 7.
    Jones, C.B. Partial functions and logics: a warning. IPL 54 (1995), 65–68.CrossRefGoogle Scholar
  8. 8.
    Jones, C.B., and C.A. Middelburg. A typed logic of partial functions reconstructed classically. Acta Informatica 31 (1994), 399–430.CrossRefGoogle Scholar
  9. 9.
    Scott, D.S. Existence and description in formal logic. In R. Schoenman (ed.) Bertrand Russell, Philosopher of the Century. St. Leonards: Allen and Unwin, 1967, 181–200.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • David Gries
    • 1
  • Fred B. Schneider
    • 1
  1. 1.Computer Science DepartmentCornell UniversityIthacaUSA

Personalised recommendations